1.1 --- a/src/Tools/isac/Interpret/mathengine.sml	Fri Aug 09 14:04:13 2019 +0200
     1.2 +++ b/src/Tools/isac/Interpret/mathengine.sml	Tue Aug 13 09:19:33 2019 +0200
     1.3 @@ -400,7 +400,7 @@
     1.4    let 
     1.5      val (pt, p) = 
     1.6  	    (*locatetac is here for testing by me; step would suffice in me*)
     1.7 -	    case locatetac tac (pt,p) of
     1.8 +	    case locatetac tac (pt, p) of
     1.9  		    ("ok", (_, _, ptp)) => ptp
    1.10  	    | ("unsafe-ok", (_, _, ptp)) => ptp
    1.11  	    | ("not-applicable",_) => (pt, p)