1.1 --- a/test/Tools/isac/MathEngine/mathengine-stateless.sml	Mon Nov 07 19:49:14 2022 +0100
     1.2 +++ b/test/Tools/isac/MathEngine/mathengine-stateless.sml	Mon Nov 07 19:58:01 2022 +0100
     1.3 @@ -3,7 +3,7 @@
     1.4     (c) due to copyright terms
     1.5  
     1.6  theory Test_Some imports Build_Thydata begin 
     1.7 -ML {* KEStore_Elems.set_ref_thy @{theory};
     1.8 +ML {* Know_Store.set_ref_thy @{theory};
     1.9    fun autoCalculate' cI auto = autoCalculate cI auto |> Future.join *}
    1.10  ML_file "$ISABELLE_ISAC_TEST/Tools/isac/Interpret/mathengine.sml"
    1.11  *)