diff options
Diffstat (limited to 'src/reader.c')
| -rw-r--r-- | src/reader.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/reader.c b/src/reader.c index 2289d26e..9a58acbd 100644 --- a/src/reader.c +++ b/src/reader.c @@ -632,7 +632,7 @@ prepare_percent_define_front_end_variables (void) muscle_percent_define_default ("lr.type", "lalr"); lr_type = muscle_percent_define_get ("lr.type"); if (0 != strcmp (lr_type, "canonical-lr")) - muscle_percent_define_default ("lr.default-reductions", "full"); + muscle_percent_define_default ("lr.default-reductions", "most"); else muscle_percent_define_default ("lr.default-reductions", "accepting"); free (lr_type); @@ -642,7 +642,7 @@ prepare_percent_define_front_end_variables (void) { static char const * const values[] = { "lr.type", "lalr", "ielr", "canonical-lr", NULL, - "lr.default-reductions", "full", "consistent", "accepting", NULL, + "lr.default-reductions", "most", "consistent", "accepting", NULL, NULL }; muscle_percent_define_check_values (values); |