summaryrefslogtreecommitdiffstats
path: root/program.cm
diff options
context:
space:
mode:
Diffstat (limited to 'program.cm')
-rw-r--r--program.cm1
1 files changed, 1 insertions, 0 deletions
diff --git a/program.cm b/program.cm
index ff015c7..c99286a 100644
--- a/program.cm
+++ b/program.cm
@@ -11,6 +11,7 @@ Map.sml
Opts.sml
Parser.sml
Result.sml
+ShowSyntax.sml
Syntax.sml
$/basis.cm