diff -r 7f29665daeb2 -r 5eba5e6d5266 test/Tools/isac/Interpret/script.sml
--- a/test/Tools/isac/Interpret/script.sml	Wed Oct 05 10:51:25 2016 +0200
+++ b/test/Tools/isac/Interpret/script.sml	Wed Oct 05 13:09:54 2016 +0200
@@ -190,9 +190,9 @@
    ["Test","squ-equ-test-subpbl1"]))];
 Iterator 1;
 moveActiveRoot 1;
-autoCalculate' 1 CompleteCalcHead;
-autoCalculate' 1 (Step 1);
-autoCalculate' 1 (Step 1);
+autoCalculate 1 CompleteCalcHead;
+autoCalculate 1 (Step 1);
+autoCalculate 1 (Step 1);
 val ((pt, p), _) = get_calc 1; show_pt pt;
 val appltacs = sel_appl_atomic_tacs pt p;
 if appltacs = 
@@ -239,7 +239,7 @@
 (assoc_thy (get_obj g_domID pt (par_pblobj pt p)));
 assoc_thy;
 
-autoCalculate' 1 CompleteCalc;
+autoCalculate 1 CompleteCalc;
 
 "----------- fun init_form, fun get_stac -------------------------";
 "----------- fun init_form, fun get_stac -------------------------";
@@ -479,7 +479,7 @@
     ["Test","squ-equ-test-subpbl1"]))];
  Iterator 1;
  moveActiveRoot 1;
- autoCalculate' 1 CompleteCalc;
+ autoCalculate 1 CompleteCalc;
  val ((pt,_),_) = get_calc 1;
  show_pt pt;
 
@@ -522,7 +522,7 @@
     ["Test","squ-equ-test-subpbl1"]))];
  Iterator 1;
  moveActiveRoot 1;
- autoCalculate' 1 CompleteCalc;
+ autoCalculate 1 CompleteCalc;
 
 (*UC\label{SOLVE:MANUAL:TACTIC:listall} UC 30.3.2.2 p.175*)
  fetchApplicableTactics 1 99999 ([],Pbl);