name in #line, to avoid useless diffs between two identical
outputs under different names.
+2002-04-07 Akim Demaille <akim@epita.fr>
+
+ * data/bison.c++, data/bison.simple: Don't output the current file
+ name in #line, to avoid useless diffs between two identical
+ outputs under different names.
+
+
2002-04-07 Akim Demaille <akim@epita.fr>
* src/closure.c, src/print.c, src/reader.c, src/reduce.c:
#endif
/* Line __line__ of __file__. */
-#line __oline__ "b4_output_parser_name"
+#line __oline__
/* All symbols defined below should begin with yy or YY, to avoid
infringing on user name space. This should be done even for local
}
/* Line __line__ of __file__. */
-#line __oline__ "b4_output_parser_name"
+#line __oline__
\f
[ yyvsp -= yylen;
yyssp -= yylen;