--trace=muscles

[bison.git] / ChangeLog

diff --git a/ChangeLog b/ChangeLog
index f4c31a4456296e5ddfcf47d6aeddd245b4320704..e3c305b84ab2704cad58200f24c847928834c844 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2008-11-10  Akim Demaille  <demaille@gostai.com>
+
+       --trace=muscles
+       * src/getargs.h, src/getargs.c (trace_muscle): New.
+       (trace_types, trace_args): Support it.
+       * src/output.c (output_skeleton): Use it.
+
 2008-11-10  Akim Demaille  <demaille@gostai.com>
 
        muscles_output.