1.1 --- a/test/Tools/isac/OLDTESTS/script.sml	Sun Oct 09 06:53:03 2022 +0200
     1.2 +++ b/test/Tools/isac/OLDTESTS/script.sml	Sun Oct 09 07:44:22 2022 +0200
     1.3 @@ -271,7 +271,7 @@
     1.4  	  ([],(User', [],                [],        TermC.empty, TermC.empty,Sundef))]:ets;
     1.5  val l0 = [];
     1.6  " --------------- 1. ---------------------------------------------";
     1.7 -val (pt,_) = cappend_atomic pt[1]Istate.empty TermC.empty(Rewrite("test", ""))(TermC.str2term ct,[])Complete;
     1.8 +val (pt,_) = cappend_atomic pt[1]Istate.empty TermC.empty(Rewrite("test", ""))(TermC.parse_test @{context} ct,[])Complete;
     1.9  (*12.10.03:*** Unknown theorem(s) "rroot_square_inv"
    1.10  val Applicable.Yes m' = Step.check (Rewrite("rroot_square_inv", "")) (pt, p);
    1.11  *)