1.1 --- a/src/Tools/isac/Interpret/mathengine.sml	Sat Aug 27 10:56:42 2016 +0200
     1.2 +++ b/src/Tools/isac/Interpret/mathengine.sml	Sat Aug 27 11:26:28 2016 +0200
     1.3 @@ -405,7 +405,7 @@
     1.4  	    | ("helpless",_) => ("helpless: cannot propose tac", [])
     1.5  	    | ("no-fmz-spec",_) => error "no-fmz-spec"
     1.6  	    | ("end-of-calculation", (ts, _, _)) => ("",ts))
     1.7 -	    handle _ => error "sys-error";
     1.8 +	    handle ERROR msg => raise ERROR msg
     1.9  	  val tac = 
    1.10        case ts of 
    1.11          tacis as (_::_) => let val (tac,_,_) = last_elem tacis in tac end