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