Slave dispatching working
[hcoop/domtool2.git] / src / domtool.cm
index d1988c3..d10f96d 100644 (file)
@@ -53,6 +53,10 @@ slave.sml
 defaults.sig
 defaults.sml
 
 defaults.sig
 defaults.sml
 
+msgTypes.sml
+msg.sig
+msg.sml
+
 domain.sig
 domain.sml
 
 domain.sig
 domain.sml