Append a NEWLINE token at the end of a file.

diff --git a/Parser/parsetok.c b/Parser/parsetok.c
index 31c23853f95477790199e5e2ba14bbbfab7bd3e9..ba9841841e1bb91aa6ef716c29cb8b8b9ea4ca35 100644 (file)
--- a/Parser/parsetok.c
+++ b/Parser/parsetok.c
@@ -122,6 +122,7 @@ parsetok(tok, g, start, n_ret)
 {
        parser_state *ps;
        int ret;
+       int started = 0;
        
        if ((ps = newparser(g, start)) == NULL) {
                fprintf(stderr, "no mem for new parser\n");
@@ -139,6 +140,12 @@ parsetok(tok, g, start, n_ret)
                        ret = tok->done;
                        break;
                }
+               if (type == ENDMARKER && started) {
+                       type = NEWLINE; /* Add an extra newline */
+                       started = 0;
+               }
+               else
+                       started = 1;
                len = b - a;
                str = NEW(char, len + 1);
                if (str == NULL) {