1.1 --- a/src/Tools/isac/Interpret/solve.sml	Tue Sep 28 08:58:06 2010 +0200
     1.2 +++ b/src/Tools/isac/Interpret/solve.sml	Tue Sep 28 09:06:56 2010 +0200
     1.3 @@ -109,7 +109,7 @@
     1.4  *}
     1.5  fun op_intern op_ =
     1.6    case assoc (ops, op_) of
     1.7 -    SOME op' => op' | NONE => raise error ("op_intern: no op= "^op_);
     1.8 +    SOME op' => op' | NONE => error ("op_intern: no op= "^op_);
     1.9  -----------------------*)
    1.10  
    1.11