X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/25b222faf6299aad314c11713561c7cbfc43a420..a04bc341806e1e423b2475eece725e7835af2b12:/src/muscle_tab.c

diff --git a/src/muscle_tab.c b/src/muscle_tab.c
index eeda6112..d487a4a0 100644
--- 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");