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