trace_automaton = 1 << 6,
trace_grammar = 1 << 7,
trace_time = 1 << 8,
+ trace_skeleton = 1 << 9,
trace_all = ~0
};
extern int trace_flag;
};
extern int report_flag;
-void getargs PARAMS ((int argc, char *argv[]));
+void getargs (int argc, char *argv[]);
#endif /* !GETARGS_H_ */