diff --git a/C/scanner.c b/C/scanner.c index eddf7754f..353044052 100755 --- a/C/scanner.c +++ b/C/scanner.c @@ -2043,7 +2043,6 @@ TokEntry *Yap_tokenizer(struct stream_desc *inp_stream, bool store_comments, #if DEBUG if (GLOBAL_Option[2]) { static int n; - if (n == 975) jmp_deb(2); fprintf(stderr, "[Token %d %s %d]", Ord(kind), Yap_tokRep(t, inp_stream->encoding),n++); }