1.1 --- a/test/Tools/isac/Test_Isac.thy	Mon Nov 07 19:49:14 2022 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Mon Nov 07 19:58:01 2022 +0100
     1.3 @@ -184,7 +184,7 @@
     1.4  \<close>
     1.5  
     1.6  ML \<open>
     1.7 -  KEStore_Elems.set_ref_thy @{theory};
     1.8 +  Know_Store.set_ref_thy @{theory};
     1.9    (*fun autoCalculate' cI auto = autoCalculate cI auto (*|> Future.join*)*);
    1.10  \<close>
    1.11