* src/LR0.c (shifts_new): New.

[bison.git] / src / muscle_tab.c

diff --git a/src/muscle_tab.c b/src/muscle_tab.c
index eeda61123aa2675083ae8b5dcc3c71ebfe702142..56a3221327402e8515df98f729518e95de14f633 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,7 +86,7 @@ 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");