1.1 --- a/test/Tools/isac/Test_Isac_Short.thy	Wed Oct 19 15:39:15 2022 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac_Short.thy	Thu Oct 20 10:23:38 2022 +0200
     1.3 @@ -92,7 +92,7 @@
     1.4  ML \<open>
     1.5    open Kernel;
     1.6    open Math_Engine;
     1.7 -  open Test_Code;              CalcTreeTEST;
     1.8 +  open Test_Code;              Test_Code.init_calc @{context};
     1.9    open LItool;                 arguments_from_model;
    1.10    open Sub_Problem;
    1.11    open Fetch_Tacs;