diff -r 33b0f6db720c -r 42c45d1241d7 test/Tools/isac/Knowledge/algein.sml --- a/test/Tools/isac/Knowledge/algein.sml Fri Jun 13 12:06:38 2014 +0200 +++ b/test/Tools/isac/Knowledge/algein.sml Fri Jun 13 12:42:15 2014 +0200 @@ -90,7 +90,7 @@ ["Berechnung","erstSymbolisch"]))]; Iterator 1; moveActiveRoot 1; -autoCalculate 1 CompleteCalc; +autoCalculate' 1 CompleteCalc; val ((pt,p),_) = get_calc 1; show_pt pt; if p = ([], Res) andalso term2str (get_obj g_res pt (fst p)) = "L = 104" then() else error "algein.sml: 'Berechnung' 'erstSymbolisch' changed";