Set all front-end %define defaults in one place.

* src/main.c (main): Move lr.keep_unreachable_states default...
* src/reader.c (reader): ... to here.
This commit is contained in:
Joel E. Denny
2009-04-30 00:31:12 -04:00
parent 1d0f55cc84
commit 1c4aa81df1
3 changed files with 11 additions and 3 deletions

View File

@@ -114,7 +114,6 @@ main (int argc, char *argv[])
declarations. */
timevar_push (TV_CONFLICTS);
conflicts_solve ();
muscle_percent_define_default ("lr.keep_unreachable_states", "false");
if (!muscle_percent_define_flag_if ("lr.keep_unreachable_states"))
{
state_number *old_to_new = xnmalloc (nstates, sizeof *old_to_new);