X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/492c1cff68a2da969a559627725369c211470c92..6be996d467429cc09f81becd3fd4e294ae1871ae:/src/domtool.cm?ds=sidebyside

diff --git a/src/domtool.cm b/src/domtool.cm
index fb9f9e1..4771582 100644
--- a/src/domtool.cm
+++ b/src/domtool.cm
@@ -30,5 +30,8 @@ tycheck.sml
 reduce.sig
 reduce.sml
 
+baseTypes.sig
+baseTypes.sml
+
 main.sig
 main.sml