Akim Demaille 9bfe901c33 * src/getargs.c (statistics_flag): Replace with... ...

(trace_flag): New.
(longopts): Accept --trace instead of --statistics.
* src/getargs.h, src/options.c: Adjust.
* src/LR0.c, src/closure.c, src/derives.c, src/nullable.c,
* src/reduce.c: Use trace_flags instead of the CPP conditional TRACE.

2001-11-19 10:37:58 +00:00

104 KiB

Raw Blame History

View Raw