diff -r 44f83099227d -r 19a172de0bb5 test/Tools/isac/ProgLang/evaluate.sml
--- a/test/Tools/isac/ProgLang/evaluate.sml	Wed Oct 19 15:39:15 2022 +0200
+++ b/test/Tools/isac/ProgLang/evaluate.sml	Thu Oct 20 10:23:38 2022 +0200
@@ -83,7 +83,7 @@
 val (dI',pI',mI') =
   ("Test", ["calculate", "test"], ["Test", "test_calculate"]);
 
-val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
+val (p,_,f,nxt,_,pt) = Test_Code.init_calc @{context} [(fmz, (dI',pI',mI'))];
 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
 (*nxt =("Add_Given",Add_Given "realTestGiven (((#1 + #2) * #4 // #3)  \<up> #2)")*)
 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;