diff -r 5765bd0f7055 -r c0a775618258 test/Tools/isac/Knowledge/polyeq-2.sml
--- a/test/Tools/isac/Knowledge/polyeq-2.sml	Fri Sep 09 10:53:51 2022 +0200
+++ b/test/Tools/isac/Knowledge/polyeq-2.sml	Sun Sep 11 14:31:15 2022 +0200
@@ -262,7 +262,7 @@
 "----------- interSteps ([1],Res); on Schalk Is86Bsp5-------------";
 "----------- interSteps ([1],Res); on Schalk Is86Bsp5-------------";
 "----------- interSteps ([1],Res); on Schalk Is86Bsp5-------------";
-reset_states ();
+States.reset ();
 CalcTree
 [(["equality ((3::real)*x - 1 - (5*x - (2 - 4*x)) = - 11)", "solveFor x", "solutions L"], 
   ("PolyEq",["univariate", "equation"],["no_met"]))];
@@ -270,7 +270,7 @@
 moveActiveRoot 1;
 
 autoCalculate 1 CompleteCalc;
-val ((pt,p),_) = get_calc 1; Test_Tool.show_pt pt;
+val ((pt,p),_) = States.get_calc 1; Test_Tool.show_pt pt;
 interSteps 1 ([1],Res)
 (*BEFORE Isabelle2002 --> 2011: <ERROR> no Rewrite_Set... </ERROR> ?see fun prep_rls?*);