1.1 --- a/src/Tools/isac/Interpret/calchead.sml	Wed May 11 07:28:13 2011 +0200
     1.2 +++ b/src/Tools/isac/Interpret/calchead.sml	Wed May 11 08:25:40 2011 +0200
     1.3 @@ -1568,7 +1568,7 @@
     1.4  		      | SOME t => subst_atomic ((vars_of_pbl_' ppc) ~~~ vals_of_oris pors) t;
     1.5          val (pt, _) = cappend_problem e_ptree [] (e_istate, pctxt) (fmz, (dI, pI, mI))
     1.6  				  (pors, (dI, pI, mI), hdl)
     1.7 -          (* val pt = update_env pt [] (SOME (e_istate, pctxt))  GOON.WN110506*)
     1.8 +          (* val pt = update_env pt [] (SOME (e_istate, pctxt)) GOON.WN110506*)
     1.9        in ((pt, ([], Pbl)), 
    1.10          fst3 (nxt_specif Model_Problem (pt, ([], Pbl)))) : calcstate
    1.11        end;