--- sml/trunk/src/cm/bootstrap/btcompile.sml 1999/06/12 07:45:52 330 +++ sml/trunk/src/cm/bootstrap/btcompile.sml 1999/06/12 15:04:53 331 @@ -165,7 +165,7 @@ #2 (#sym pervasive), #2 (#stat core)]) } in - case Parse.parse param (SOME true) maingspec of + case Parse.parse param NONE maingspec of NONE => NONE | SOME (g, gp) => if recomp gp g then