1.1 --- a/test/Tools/isac/Knowledge/polyeq-2.sml	Thu May 14 16:58:33 2020 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/polyeq-2.sml	Fri May 15 11:46:43 2020 +0200
     1.3 @@ -268,7 +268,7 @@
     1.4  moveActiveRoot 1;
     1.5  
     1.6  autoCalculate 1 CompleteCalc;
     1.7 -val ((pt,p),_) = get_calc 1; show_pt pt;
     1.8 +val ((pt,p),_) = get_calc 1; Test_Tool.show_pt pt;
     1.9  interSteps 1 ([1],Res)
    1.10  (*BEFORE Isabelle2002 --> 2011: <ERROR> no Rewrite_Set... </ERROR> ?see fun prep_rls?*);
    1.11