1.1 --- a/test/Tools/isac/Knowledge/inssort.sml	Fri Sep 09 10:53:51 2022 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/inssort.sml	Sun Sep 11 14:31:15 2022 +0200
     1.3 @@ -161,7 +161,7 @@
     1.4  "----------- insertion sort: met_Prog_sort_ins_steps -------------------------";
     1.5  "----------- insertion sort: met_Prog_sort_ins_steps -------------------------";
     1.6  "----------- insertion sort: met_Prog_sort_ins_steps -------------------------";
     1.7 -reset_states ();
     1.8 +States.reset ();
     1.9  CalcTree
    1.10  [(["unsorted {||1, 3, 2||}", "sorted s_s"], 
    1.11    ("InsSort", ["insertion", "SORT", "Programming"], 
    1.12 @@ -171,7 +171,7 @@
    1.13  autoCalculate 1 CompleteCalc;
    1.14  interSteps 1 ([],Res);
    1.15  
    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  
    1.19  if p = ([], Res)andalso UnparseC.term (get_obj g_res pt (fst p)) = "{|| 1, 2, 3 ||}"
    1.20  andalso length (ME_Misc.get_interval ([], Pbl) ([], Res) 1 pt) = 23 then ()