1.1 --- a/test/Tools/isac/OLDTESTS/script_if.sml	Tue Sep 28 08:58:06 2010 +0200
     1.2 +++ b/test/Tools/isac/OLDTESTS/script_if.sml	Tue Sep 28 09:06:56 2010 +0200
     1.3 @@ -130,7 +130,7 @@
     1.4  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
     1.5  if f = Form' (FormKF (~1,EdUndef,0,Nundef,"[x = -1 / 2]"))
     1.6     andalso nxt = ("End_Proof'",End_Proof') then ()
     1.7 -else raise error "new behaviour in testexample rationals2.sml 1+2*x=0";
     1.8 +else error "new behaviour in testexample rationals2.sml 1+2*x=0";
     1.9  
    1.10  (*---------------------------------*)
    1.11  "-------------- is_rootequ_in - SubProblem -------------------------";
    1.12 @@ -166,4 +166,4 @@
    1.13  if p = ([1,1],Frm) andalso 
    1.14     f = Form' (FormKF (~1,EdUndef,2,Nundef,"sqrt x - 1 = 0")) andalso
    1.15     nxt = ("Empty_Tac",Empty_Tac) (*script ist noch 'helpless'*) then ()
    1.16 -else raise error "new behaviour in testexample rationals2.sml sqrt(x) - 1 = 0";
    1.17 +else error "new behaviour in testexample rationals2.sml sqrt(x) - 1 = 0";