* src/getargs.c (statistics_flag): Replace with...

[bison.git] / src / derives.c

diff --git a/src/derives.c b/src/derives.c
index ec7173d95b9433756b5a79c3497a73231d8be03c..7b862d8223190da235484d96ecee69c165dd27d9 100644 (file)
--- a/src/derives.c
+++ b/src/derives.c
@@ -25,6 +25,7 @@
    */
 
 #include "system.h"
+#include "getargs.h"
 #include "types.h"
 #include "reader.h"
 #include "gram.h"
@@ -32,7 +33,6 @@
 
 short **derives;
 
-#if TRACE
 
 static void
 print_derives (void)
@@ -53,7 +53,6 @@ print_derives (void)
   putc ('\n', stderr);
 }
 
-#endif
 
 void
 set_derives (void)
@@ -96,9 +95,8 @@ set_derives (void)
       *q++ = -1;
     }
 
-#if TRACE
-  print_derives ();
-#endif
+  if (trace_flag)
+    print_derives ();
 
   XFREE (dset + ntokens);
   XFREE (delts);