1.1 --- a/src/Tools/isac/Interpret/script.sml	Sat May 21 09:54:39 2011 +0200
     1.2 +++ b/src/Tools/isac/Interpret/script.sml	Sat May 21 12:52:59 2011 +0200
     1.3 @@ -1532,7 +1532,7 @@
     1.4                (case par_pbl_det pt p of
     1.5  	               (true, p', _) => 
     1.6  	                  let val (_,pblID,_) = get_obj g_spec pt p';
     1.7 -	                  in (Check_Postcond' (pblID, (v, [(*WN030608 NO asms???*)])), 
     1.8 +	                  in (Check_Postcond' (pblID, (v, [(*assigned in next step*)])), 
     1.9  	                    (e_istate, ctxt), (v,s)) 
    1.10                      end
    1.11  	             | (_, p', rls') =>