X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/1c4aa81df1fd11e2be5b2af78b4375f85bb2e59e..812775a0391e122eff1983afea2da96c600c7307:/src/main.c?ds=sidebyside

diff --git a/src/main.c b/src/main.c
index 5769693e..c80ed870 100644
--- a/src/main.c
+++ b/src/main.c
@@ -114,7 +114,7 @@ main (int argc, char *argv[])
      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;