From 14e98d4ad28b8a93cf3603ebbd6263a99aa56453 Mon Sep 17 00:00:00 2001
From: mingodad <mingodad@gmail.com>
Date: Mon, 18 Dec 2023 11:32:02 +0100
Subject: [PATCH] Fix lexer prt_line when debugging the lexer

---
 src/include/lrstar_lexer.h | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/src/include/lrstar_lexer.h b/src/include/lrstar_lexer.h
index f55fb516..7deaaff6 100644
--- a/src/include/lrstar_lexer.h
+++ b/src/include/lrstar_lexer.h
@@ -67,7 +67,9 @@ class templ_lrstar_lexer
             x = y;
             if (*token.end == '\n') {
                linenumb++;
+#ifdef DEBUG_LEXER
                prt_line();
+#endif
             }
             token.end++;
          }
@@ -91,8 +93,11 @@ class templ_lrstar_lexer
             linenumb_printed = linenumb;
 
             if (*ls != 26) {    // Not end of file?
-               printf("%6d  %s\n", linenumb, ls);
-               fprintf(stderr, "%6d  %s\n", linenumb, ls);
+               fprintf(stderr, "%6d  ", linenumb);
+               for(; *ls != '\n'; ++ls) {
+                   fputc(*ls, stderr);
+               }
+               fprintf(stderr,"\n");
             }
          }
       }