1.1 --- a/test/Tools/isac/Knowledge/algein.sml Wed Oct 05 10:51:25 2016 +0200
1.2 +++ b/test/Tools/isac/Knowledge/algein.sml Wed Oct 05 13:09:54 2016 +0200
1.3 @@ -90,7 +90,7 @@
1.4 ["Berechnung","erstSymbolisch"]))];
1.5 Iterator 1;
1.6 moveActiveRoot 1;
1.7 -autoCalculate' 1 CompleteCalc;
1.8 +autoCalculate 1 CompleteCalc;
1.9 val ((pt,p),_) = get_calc 1; show_pt pt;
1.10 if p = ([], Res) andalso term2str (get_obj g_res pt (fst p)) = "L = 104" then()
1.11 else error "algein.sml: 'Berechnung' 'erstSymbolisch' changed";