Custom base types
[hcoop/domtool2.git] / src / domtool.cm
index fb9f9e1..4771582 100644 (file)
@@ -30,5 +30,8 @@ tycheck.sml
 reduce.sig
 reduce.sml
 
+baseTypes.sig
+baseTypes.sml
+
 main.sig
 main.sml