diff options
Diffstat (limited to 'src/print.c')
-rw-r--r-- | src/print.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/print.c b/src/print.c index 2540a4bd..6efcc891 100644 --- a/src/print.c +++ b/src/print.c @@ -343,6 +343,7 @@ print_reductions (FILE *out, state *s) || (STREQ (default_reductions, "consistent") && default_reduction_only) || (reds->num == 1 && reds->rules[0]->number == 0)); + (void) default_reduction_only; free (default_reductions); } } |