
diff -r 8af797c555a8 -r 9a116f94c5a6 test/Tools/isac/Test_Isac.thy
--- a/test/Tools/isac/Test_Isac.thy	Mon Nov 07 19:49:14 2022 +0100
+++ b/test/Tools/isac/Test_Isac.thy	Mon Nov 07 19:58:01 2022 +0100
@@ -184,7 +184,7 @@
 \<close>
 
 ML \<open>
-  KEStore_Elems.set_ref_thy @{theory};
+  Know_Store.set_ref_thy @{theory};
   (*fun autoCalculate' cI auto = autoCalculate cI auto (*|> Future.join*)*);
 \<close>
 




