Slave dispatching working

[clinton/domtool2.git] / src / domtool.cm

diff --git a/src/domtool.cm b/src/domtool.cm
index d1988c3..d10f96d 100644 (file)
--- a/src/domtool.cm
+++ b/src/domtool.cm
@@ -53,6 +53,10 @@ slave.sml
 defaults.sig
 defaults.sml
 
+msgTypes.sml
+msg.sig
+msg.sml
+
 domain.sig
 domain.sml