lr.default-reductions: rename "all" value to "full".

[bison.git] / src / print.c

diff --git a/src/print.c b/src/print.c
index 0012a4f28e14248fa2d141d9a7e444995f76ab2e..b117e75265fa5d6771f4b5abd3808283a9ae9a7d 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, "full")
             || (0 == strcmp (default_reductions, "consistent")
                 && default_reduction_only)
             || (reds->num == 1 && reds->rules[0]->number == 0));