diff --git a/src/machine/system_calls.rs b/src/machine/system_calls.rs
index 10323c5c..77230c01 100644
--- a/src/machine/system_calls.rs
+++ b/src/machine/system_calls.rs
@@ -989,6 +989,7 @@ impl MachineState {
             }
         }
 
+        #[allow(clippy::never_loop)] // TODO why is there a loop here that never loops?
         loop {
             match lexer.lookahead_char() {
                 Err(e) if e.is_unexpected_eof() => {