Merge branch 'maint'

[bison.git] / src / print.c

diff --git a/src/print.c b/src/print.c
index e3795a945301edb211784b60f2f9e0fe4ca44dee..f21aade5116f1c4b6d184c1b2d12c2ea0021e78e 100644 (file)
--- a/src/print.c
+++ b/src/print.c
@@ -334,7 +334,7 @@ print_reductions (FILE *out, state *s)
   if (default_reduction)
     {
       char *default_reductions =
-        muscle_percent_define_get ("lr.default-reductions");
+        muscle_percent_define_get ("lr.default-reduction");
       print_reduction (out, width, _("$default"), default_reduction, true);
       aver (STREQ (default_reductions, "most")
             || (STREQ (default_reductions, "consistent")