1.1 --- a/test/Tools/isac/Knowledge/equation.sml	Wed Oct 05 10:51:25 2016 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/equation.sml	Wed Oct 05 13:09:54 2016 +0200
     1.3 @@ -24,7 +24,7 @@
     1.4  moveActiveRoot 1;
     1.5  replaceFormula 1 "solve (x+1=2, x)";
     1.6  (*========== inhibit exn 130719 Isabelle2013 ===================================loops
     1.7 -autoCalculate' 1 CompleteCalc;
     1.8 +autoCalculate 1 CompleteCalc;
     1.9  val ((pt,p),_) = get_calc 1;
    1.10  val Form res = (#1 o pt_extract) (pt, ([],Res));
    1.11  show_pt pt;