1.1 --- a/test/Tools/isac/OLDTESTS/root-equ.sml	Thu May 07 12:15:37 2020 +0200
     1.2 +++ b/test/Tools/isac/OLDTESTS/root-equ.sml	Thu May 07 14:11:03 2020 +0200
     1.3 @@ -257,7 +257,7 @@
     1.4  val thy' = "Test";
     1.5  val ct = 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 = prep_ori ctl thy 
     1.8 +val oris = O_Model.prep_ori ctl thy 
     1.9  		    ((#ppc o get_pbt)
    1.10  			 ["sqroot-test","univariate","equation","test"]);
    1.11  val loc = Istate.empty;