1.1 --- a/test/Tools/isac/OLDTESTS/root-equ.sml	Mon Jun 20 11:55:55 2022 +0200
     1.2 +++ b/test/Tools/isac/OLDTESTS/root-equ.sml	Mon Jun 20 18:37:54 2022 +0200
     1.3 @@ -249,7 +249,7 @@
     1.4  val thy' = "Test";
     1.5  val ct = TermC.str2term"sqrt(9+4*x)=sqrt x + sqrt(5+x)";
     1.6  val ctl = ["sqrt(9+4*x)=sqrt x + sqrt(5+x)", "x::real", "0"];
     1.7 -val oris = O_Model.init ctl thy 
     1.8 +val oris = O_Model.init thy ctl 
     1.9  		    ((#ppc o Problem.from_store)
    1.10  			 ["sqroot-test", "univariate", "equation", "test"]);
    1.11  val loc = Istate.empty;