1.1 --- a/test/Tools/isac/OLDTESTS/root-equ.sml Fri May 08 11:01:11 2020 +0200
1.2 +++ b/test/Tools/isac/OLDTESTS/root-equ.sml Fri May 08 18:30:21 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 = O_Model.prep_ori ctl thy
1.8 +val oris = O_Model.init ctl thy
1.9 ((#ppc o get_pbt)
1.10 ["sqroot-test","univariate","equation","test"]);
1.11 val loc = Istate.empty;