X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/d189ec0eee8569e5811335e7fc93a921e14c2b1f..d612d62cd04b713bb1057fd2e666365704aaf3d6:/src/domtool.cm

diff --git a/src/domtool.cm b/src/domtool.cm
index c3b66d7..bdc790b 100644
--- a/src/domtool.cm
+++ b/src/domtool.cm
@@ -41,11 +41,13 @@ eval.sml
 baseTypes.sig
 baseTypes.sml
 
+slave.sig
+slave.sml
+
 domain.sig
 domain.sml
 
-alias.sig
-alias.sml
+plugins/plugins.cm
 
 order.sig
 order.sml