summaryrefslogtreecommitdiffstats
path: root/program.cm
diff options
context:
space:
mode:
Diffstat (limited to 'program.cm')
-rw-r--r--program.cm4
1 files changed, 3 insertions, 1 deletions
diff --git a/program.cm b/program.cm
index c99286a..8fbdf7a 100644
--- a/program.cm
+++ b/program.cm
@@ -2,7 +2,7 @@ Group is
Buffer.sml
CPS.sml
-Codegen.sml
+CodeGen.sml
Compiler.sml
Elab.sml
GenSym.sml
@@ -12,6 +12,8 @@ Opts.sml
Parser.sml
Result.sml
ShowSyntax.sml
+Sort.sml
Syntax.sml
+Types.sml
$/basis.cm