X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/279cabb657e5116d9fd4badace040f36f579199a..728c4be2:/src/main.c?ds=inline

diff --git a/src/main.c b/src/main.c
index d64f9219..84636083 100644
--- a/src/main.c
+++ b/src/main.c
@@ -115,6 +115,14 @@ main (int argc, char *argv[])
      declarations.  */
   timevar_push (TV_CONFLICTS);
   conflicts_solve ();
+  {
+    state_number *old_to_new = xnmalloc (nstates, sizeof *old_to_new);
+    state_number nstates_old = nstates;
+    state_remove_unreachable_states (old_to_new);
+    lalr_update_state_numbers (old_to_new, nstates_old);
+    conflicts_update_state_numbers (old_to_new, nstates_old);
+    free (old_to_new);
+  }
   conflicts_print ();
   timevar_pop (TV_CONFLICTS);