diff -r 8af797c555a8 -r 9a116f94c5a6 test/Tools/isac/ProgLang/prog_expr.sml
--- a/test/Tools/isac/ProgLang/prog_expr.sml	Mon Nov 07 19:49:14 2022 +0100
+++ b/test/Tools/isac/ProgLang/prog_expr.sml	Mon Nov 07 19:58:01 2022 +0100
@@ -420,7 +420,7 @@
 "-------- REBUILD fun Calc_Binop.numeric FOR Isabelle's NUMERALS ---------------------------------------";
 "-------- REBUILD fun Calc_Binop.numeric FOR Isabelle's NUMERALS ---------------------------------------";
 "-------- REBUILD fun Calc_Binop.numeric FOR Isabelle's NUMERALS ---------------------------------------";
-val (op_, ef) = the (LibraryC.assoc (KEStore_Elems.get_calcs @{theory}, "TIMES"));
+val (op_, ef) = the (LibraryC.assoc (Know_Store.get_calcs @{theory}, "TIMES"));
 val t = TermC.parseNEW' ctxt  "2 * (3::real)";
 (*val SOME (thmid,t') = *)get_pair ctxt op_ ef t;
 ;