diff options
Diffstat (limited to 'src/print.c')
| -rw-r--r-- | src/print.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/print.c b/src/print.c index 78228054..fb999150 100644 --- a/src/print.c +++ b/src/print.c @@ -337,7 +337,7 @@ print_reductions (FILE *out, state *s) char *default_reductions = muscle_percent_define_get ("lr.default-reductions"); print_reduction (out, width, _("$default"), default_reduction, true); - aver (0 == strcmp (default_reductions, "full") + aver (0 == strcmp (default_reductions, "most") || (0 == strcmp (default_reductions, "consistent") && default_reduction_only) || (reds->num == 1 && reds->rules[0]->number == 0)); |