test/Tools/isac/Knowledge/algein.sml
changeset 55446 42c45d1241d7
parent 42385 b37adb659ffe
child 59188 c477d0f79ab9
     1.1 --- a/test/Tools/isac/Knowledge/algein.sml	Fri Jun 13 12:06:38 2014 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/algein.sml	Fri Jun 13 12:42:15 2014 +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";