1.1 --- a/test/Tools/isac/Knowledge/equation.sml	Tue Sep 28 08:58:06 2010 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/equation.sml	Tue Sep 28 09:06:56 2010 +0200
     1.3 @@ -30,4 +30,4 @@
     1.4  val Form res = (#1 o pt_extract) (pt, ([],Res));
     1.5  show_pt pt;
     1.6  if p = ([], Res) andalso term2str res = "[x = 1]" then ()
     1.7 -else raise error "equation.sml behav.changed for CAS solve (x+1=2, x))";
     1.8 +else error "equation.sml behav.changed for CAS solve (x+1=2, x))";