
diff -r 2c0c34b18050 -r e98d714cca1a test/Tools/isac/Test_Isac.thy
--- a/test/Tools/isac/Test_Isac.thy	Tue Apr 28 16:51:36 2020 +0200
+++ b/test/Tools/isac/Test_Isac.thy	Tue Apr 28 17:50:18 2020 +0200
@@ -191,7 +191,7 @@
 (*called by Know_Store*)
   ML_file "BaseDefinitions/calcelems.sml"
   ML_file "BaseDefinitions/termC.sml"
-  ML_file substitution.sml
+  ML_file "BaseDefinitions/substitution.sml"
   ML_file "BaseDefinitions/contextC.sml"
   ML_file "BaseDefinitions/environment.sml"
   ML_file "BaseDefinitions/kestore.sml"    (* setup in ADDTEST/accumulate-val/lucas_interpreter.sml*)




