* src/getargs.h, src/getargs.c (trace_e, trace_args, trace_types):

[bison.git] / src / getargs.h

diff --git a/src/getargs.h b/src/getargs.h
index adf951232704cbb365eb9b2b302413ca9de2c750..8917177e4090bf2fafebf3321a3fd50f7de544ad 100644 (file)
--- a/src/getargs.h
+++ b/src/getargs.h
@@ -39,13 +39,16 @@ extern int yacc_flag;               /* for -y */
 enum trace_e
   {
     trace_none      = 0,
 enum trace_e
   {
     trace_none      = 0,

-    trace_resource  = 1 << 0,
-    trace_sets      = 1 << 1,
-    trace_bitsets   = 1 << 2,
-    trace_tools     = 1 << 3,
-    trace_automaton = 1 << 4,
-    trace_grammar   = 1 << 5,
-    trace_time      = 1 << 6,
+    trace_scan      = 1 << 0,
+    trace_parse     = 1 << 1,
+    trace_resource  = 1 << 2,
+    trace_sets      = 1 << 3,
+    trace_bitsets   = 1 << 4,
+    trace_tools     = 1 << 5,
+    trace_automaton = 1 << 6,
+    trace_grammar   = 1 << 7,
+    trace_time      = 1 << 8,
+    trace_skeleton  = 1 << 9,

     trace_all       = ~0
   };
 extern int trace_flag;
     trace_all       = ~0
   };
 extern int trace_flag;


@@ -62,6 +65,6 @@ enum report_e
   };
 extern int report_flag;
 
   };
 extern int report_flag;
 

-void getargs PARAMS ((int argc, char *argv[]));
+void getargs (int argc, char *argv[]);

 
 #endif /* !GETARGS_H_ */
 
 #endif /* !GETARGS_H_ */