1.1 --- a/test/Tools/isac/OLDTESTS/root-equ.sml	Tue Sep 28 08:58:06 2010 +0200
     1.2 +++ b/test/Tools/isac/OLDTESTS/root-equ.sml	Tue Sep 28 09:06:56 2010 +0200
     1.3 @@ -77,7 +77,7 @@
     1.4  (*"x = (0 + -1 * -36) // -15"*)
     1.5  val rls = ("Test_simplify");
     1.6  val (ct,_) = the (rewrite_set thy' false rls ct);
     1.7 -if ct<>"x = -12 / 5"then raise error "new behaviour in testexample"else ();
     1.8 +if ct<>"x = -12 / 5"then error "new behaviour in testexample"else ();
     1.9  
    1.10  (* 
    1.11  val ct = "x = (-12) / 5" : cterm'
    1.12 @@ -203,7 +203,7 @@
    1.13  val (t,_) = the (rewrite_set_ thy false rls t);
    1.14  val t' = term2str t;
    1.15  if t' = "x = 4" then ()
    1.16 -else raise error "root-equ.sml: new behav. in rewrite_ x+4";
    1.17 +else error "root-equ.sml: new behav. in rewrite_ x+4";
    1.18  
    1.19  " _________________ rewrite x=4_________________ ";
    1.20  " _________________ rewrite x=4_________________ ";
    1.21 @@ -249,7 +249,7 @@
    1.22  "x = 0 + -1 * -4";
    1.23  (*11*)val rls = "Test_simplify";
    1.24  val (ct,_) = the (rewrite_set thy' false rls ct);
    1.25 -if ct="x = 4" then () else raise error "new behaviour in test-example";
    1.26 +if ct="x = 4" then () else error "new behaviour in test-example";
    1.27  
    1.28  
    1.29  
    1.30 @@ -629,7 +629,7 @@
    1.31  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
    1.32  (* val nxt = ("End_Proof'",End_Proof');*)
    1.33  if f <> (Form' (FormKF (~1,EdUndef,0,Nundef,"[x = 4]")))
    1.34 -then raise error "root-equ.sml: diff.behav. in me + tacs input"
    1.35 +then error "root-equ.sml: diff.behav. in me + tacs input"
    1.36  else ();
    1.37  
    1.38  writeln (pr_ptree pr_short pt);