X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/19f3c4e664808d8dafabd9674635d9069bafd7cb..aa56e112996b3650e8ac343831322d2a9ab0de54:/src/domtool.cm

diff --git a/src/domtool.cm b/src/domtool.cm
index ab147b7..d1988c3 100644
--- a/src/domtool.cm
+++ b/src/domtool.cm
@@ -50,6 +50,9 @@ acl.sml
 slave.sig
 slave.sml
 
+defaults.sig
+defaults.sml
+
 domain.sig
 domain.sml