diff --git a/C/scanner.c b/C/scanner.c
index 9b546eae9..0cc649516 100644
--- a/C/scanner.c
+++ b/C/scanner.c
@@ -764,6 +764,7 @@ Yap_tokenizer(int inp_stream)
 	} else if (chtype[ch] == EF) {
 	  Yap_ReleasePreAllocCodeSpace((CODEADDR)TokImage);
 	  t->Tok = Ord(kind = eot_tok);
+	  break;
 	} else {
 	  *charp++ = ch;
 	  ch = QuotedNxtch(inp_stream);