1.1 --- a/test/Tools/isac/Knowledge/logexp.sml Wed Oct 19 15:39:15 2022 +0200
1.2 +++ b/test/Tools/isac/Knowledge/logexp.sml Thu Oct 20 10:23:38 2022 +0200
1.3 @@ -41,7 +41,7 @@
1.4 ["Test", "solve_log"]);
1.5 val p = e_pos'; val c = [];
1.6 (*============ inhibit exn 110726 ==============================================
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 c pt;
1.10 val (p,_,f,nxt,_,pt) = me nxt p c pt;
1.11 val (p,_,f,nxt,_,pt) = me nxt p c pt;