1.1 --- a/test/Tools/isac/Knowledge/algein.sml Fri Sep 09 10:53:51 2022 +0200
1.2 +++ b/test/Tools/isac/Knowledge/algein.sml Sun Sep 11 14:31:15 2022 +0200
1.3 @@ -90,7 +90,7 @@
1.4 Iterator 1;
1.5 moveActiveRoot 1;
1.6 autoCalculate 1 CompleteCalc;
1.7 -val ((pt,p),_) = get_calc 1; Test_Tool.show_pt pt;
1.8 +val ((pt,p),_) = States.get_calc 1; Test_Tool.show_pt pt;
1.9 if p = ([], Res) andalso UnparseC.term (get_obj g_res pt (fst p)) = "L = 104" then()
1.10 else error "algein.sml: 'Berechnung' 'erstSymbolisch' changed";
1.11