Fix missing updates to GPLv3.

[bison.git] / src / print.c

diff --git a/src/print.c b/src/print.c
index a9882073acadfcb7a49a712d4e33e37ac16b90dd..fb999150cd34f50a3c7990ef829aef73ad30d602 100644 (file)
--- 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, "all")
+      aver (0 == strcmp (default_reductions, "most")
             || (0 == strcmp (default_reductions, "consistent")
                 && default_reduction_only)
             || (reds->num == 1 && reds->rules[0]->number == 0));