Convert underscores to dashes in some %define variable names.

[bison.git] / src / main.c

diff --git a/src/main.c b/src/main.c
index 5769693efaae24e19d0f208b5f3e8fe84d97f6fd..c80ed870891e61c093895e401e6438d6c6b80a6c 100644 (file)
--- a/src/main.c
+++ b/src/main.c
@@ -114,7 +114,7 @@ main (int argc, char *argv[])
      declarations.  */
   timevar_push (TV_CONFLICTS);
   conflicts_solve ();
      declarations.  */
   timevar_push (TV_CONFLICTS);
   conflicts_solve ();

-  if (!muscle_percent_define_flag_if ("lr.keep_unreachable_states"))
+  if (!muscle_percent_define_flag_if ("lr.keep-unreachable-states"))

     {
       state_number *old_to_new = xnmalloc (nstates, sizeof *old_to_new);
       state_number nstates_old = nstates;
     {
       state_number *old_to_new = xnmalloc (nstates, sizeof *old_to_new);
       state_number nstates_old = nstates;