test/Tools/isac/Knowledge/algein.sml
changeset 60549 c0a775618258
parent 60509 2e0b7ca391dc
child 60565 f92963a33fe3
     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