diff -r 33b0f6db720c -r 42c45d1241d7 test/Tools/isac/Interpret/me.sml
--- a/test/Tools/isac/Interpret/me.sml	Fri Jun 13 12:06:38 2014 +0200
+++ b/test/Tools/isac/Interpret/me.sml	Fri Jun 13 12:42:15 2014 +0200
@@ -34,7 +34,7 @@
 	   "solveFor x","solutions L"], 
   ("RatEq",["univariate","equation"],["no_met"]))];
 Iterator 1; moveActiveRoot 1;
-autoCalculate 1 CompleteCalc; 
+autoCalculate' 1 CompleteCalc; 
 
 getTactic 1 ([1],Res);(*Rewrite_Set RatEq_simplify*)
 getTactic 1 ([2],Res);(*Rewrite_Set norm_Rational*)
@@ -228,7 +228,7 @@
 	   "solveFor x","solutions L"], 
   ("RatEq",["univariate","equation"],["no_met"]))];
 Iterator 1; moveActiveRoot 1;
-autoCalculate 1 CompleteCalc; 
+autoCalculate' 1 CompleteCalc; 
 val ((pt,_),_) = get_calc 1;
 val p = get_pos 1 1;
 val (Form f, tac, asms) = pt_extract (pt, p);
@@ -384,27 +384,27 @@
  Iterator 1; moveActiveRoot 1;
 
 (* 
- autoCalculate 1 CompleteCalcHead;
- autoCalculate 1 (Step 1); 
+ autoCalculate' 1 CompleteCalcHead;
+ autoCalculate' 1 (Step 1); 
  refFormula 1 (get_pos 1 1); 
 
 ... works 
 
- autoCalculate 1 CompleteCalcHead;
+ autoCalculate' 1 CompleteCalcHead;
  fetchProposedTactic 1; (*-> Apply_Method*);
  setNextTactic 1 (Apply_Method ["Test","solve_linear"]);
- autoCalculate 1 (Step 1); 
+ autoCalculate' 1 (Step 1); 
  refFormula 1 (get_pos 1 1); 
 
 ... works *)
 
- autoCalculate 1 (Step 1); 
+ autoCalculate' 1 (Step 1); 
  refFormula 1 (get_pos 1 1);
 
- autoCalculate 1 CompleteModel;
+ autoCalculate' 1 CompleteModel;
  refFormula 1 (get_pos 1 1);
 
- autoCalculate 1 CompleteCalcHead;
+ autoCalculate' 1 CompleteCalcHead;
 (* *** complete_mod: only impl.for Pbl, called with ([], Met) FIXXXXXXXXXXME*)