1.1 --- a/test/Tools/isac/Knowledge/polyeq-2.sml	Fri Sep 09 10:53:51 2022 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/polyeq-2.sml	Sun Sep 11 14:31:15 2022 +0200
     1.3 @@ -262,7 +262,7 @@
     1.4  "----------- interSteps ([1],Res); on Schalk Is86Bsp5-------------";
     1.5  "----------- interSteps ([1],Res); on Schalk Is86Bsp5-------------";
     1.6  "----------- interSteps ([1],Res); on Schalk Is86Bsp5-------------";
     1.7 -reset_states ();
     1.8 +States.reset ();
     1.9  CalcTree
    1.10  [(["equality ((3::real)*x - 1 - (5*x - (2 - 4*x)) = - 11)", "solveFor x", "solutions L"], 
    1.11    ("PolyEq",["univariate", "equation"],["no_met"]))];
    1.12 @@ -270,7 +270,7 @@
    1.13  moveActiveRoot 1;
    1.14  
    1.15  autoCalculate 1 CompleteCalc;
    1.16 -val ((pt,p),_) = get_calc 1; Test_Tool.show_pt pt;
    1.17 +val ((pt,p),_) = States.get_calc 1; Test_Tool.show_pt pt;
    1.18  interSteps 1 ([1],Res)
    1.19  (*BEFORE Isabelle2002 --> 2011: <ERROR> no Rewrite_Set... </ERROR> ?see fun prep_rls?*);
    1.20