* src/closure.c (set_firsts): De-obfuscate.

[bison.git] / src / muscle_tab.c

diff --git a/src/muscle_tab.c b/src/muscle_tab.c
index 13433edc991312137e044240b8adca1dae7b9a48..d487a4a0bface5daf520979b8663aecc8ba55dfb 100644 (file)
--- a/src/muscle_tab.c
+++ b/src/muscle_tab.c
@@ -56,9 +56,6 @@ muscle_init (void)
   muscle_insert ("version", VERSION);
   muscle_insert ("filename", infile);
 
-  /* Skeleton use.  */
-  muscle_insert ("skeleton", skeleton);
-
   /* Types.  */
   muscle_insert ("stype", "int");
   muscle_insert ("ltype", "yyltype");
@@ -89,8 +86,10 @@ muscle_init (void)
   muscle_insert ("final", "0");
   muscle_insert ("maxtok", "0");
   muscle_insert ("ntbase", "0");
-  muscle_insert ("verbose", "0");
+  muscle_insert ("error-verbose", "0");
   muscle_insert ("prefix", "yy");
+  /* Default #line formatting.  */
+  muscle_insert ("linef", "#line %d %s\n");
 
   /* No parser macros.  */
   muscle_insert ("nnts", "0");