X-Git-Url: https://git.hcoop.net/hcoop/zz_old/domtool2-proto.git/blobdiff_plain/084d02b13274ae599d8c8235b497fbd7afe92f4b..4e8a3f2bca2ad184aac07c4fb5945d7a88221087:/src/domtool.cm

diff --git a/src/domtool.cm b/src/domtool.cm
index f7f6551..bb7047e 100644
--- a/src/domtool.cm
+++ b/src/domtool.cm
@@ -41,6 +41,9 @@ eval.sml
 baseTypes.sig
 baseTypes.sml
 
+acl.sig
+acl.sml
+
 slave.sig
 slave.sml