diff -r 95d956108461 -r 460c24a6a6ba src/Tools/isac/Interpret/solve.sml
--- a/src/Tools/isac/Interpret/solve.sml	Tue Sep 28 08:58:06 2010 +0200
+++ b/src/Tools/isac/Interpret/solve.sml	Tue Sep 28 09:06:56 2010 +0200
@@ -109,7 +109,7 @@
 *}
 fun op_intern op_ =
   case assoc (ops, op_) of
-    SOME op' => op' | NONE => raise error ("op_intern: no op= "^op_);
+    SOME op' => op' | NONE => error ("op_intern: no op= "^op_);
 -----------------------*)