Dependency ordering

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

diff --git a/src/domtool.cm b/src/domtool.cm
index 33722c5..c3b66d7 100644 (file)
--- a/src/domtool.cm
+++ b/src/domtool.cm
@@ -47,5 +47,8 @@ domain.sml
 alias.sig
 alias.sml
 
+order.sig
+order.sml
+
 main.sig
 main.sml