diff -r b311a0634eca -r 60d191402598 src/Tools/isac/ProgLang/ListC.thy
--- a/src/Tools/isac/ProgLang/ListC.thy	Wed Jul 31 09:46:50 2019 +0200
+++ b/src/Tools/isac/ProgLang/ListC.thy	Fri Aug 09 14:04:13 2019 +0200
@@ -8,6 +8,7 @@
 begin
 
 ML_file "~~/src/Tools/isac/ProgLang/termC.sml"
+ML_file "~~/src/Tools/isac/ProgLang/contextC.sml"
 ML_file "~~/src/Tools/isac/ProgLang/calculate.sml"
 ML_file "~~/src/Tools/isac/ProgLang/rewrite.sml"
 ML \<open>