summaryrefslogtreecommitdiff
path: root/src/sources
diff options
context:
space:
mode:
Diffstat (limited to 'src/sources')
-rw-r--r--src/sources14
1 files changed, 0 insertions, 14 deletions
diff --git a/src/sources b/src/sources
index c4b9849e..7faec26b 100644
--- a/src/sources
+++ b/src/sources
@@ -92,20 +92,6 @@ monoize.sml
mono_opt.sig
mono_opt.sml
-flat.sml
-
-flat_util.sig
-flat_util.sml
-
-flat_env.sig
-flat_env.sml
-
-flat_print.sig
-flat_print.sml
-
-cloconv.sig
-cloconv.sml
-
cjr.sml
cjr_env.sig