1.1 --- a/src/Tools/isac/Interpret/mathengine.sml	Thu Mar 08 14:33:34 2012 +0100
     1.2 +++ b/src/Tools/isac/Interpret/mathengine.sml	Sat Mar 10 09:41:09 2012 +0100
     1.3 @@ -398,7 +398,7 @@
     1.4  	    | ("not-applicable",_) => (pt, p)
     1.5  	    | ("end-of-calculation", (_, _, ptp)) => ptp
     1.6  	    | ("failure",_) => error "sys-error";
     1.7 -	  val (_, ts) = (*WN101102 TODO: locatetac + step create _same_ (pt,p) ?*)
     1.8 +	  val (_, ts) =
     1.9  	    (case step p ((pt, e_pos'),[]) of
    1.10  		    ("ok", (ts as (tac,_,_)::_, _, _)) => ("",ts)
    1.11  	    | ("helpless",_) => ("helpless: cannot propose tac", [])