Type annotations on environment variable reads

[hcoop/domtool2.git] / src / sources

diff --git a/src/sources b/src/sources
index 7809a93..eece575 100644 (file)
--- a/src/sources
+++ b/src/sources
@@ -18,6 +18,9 @@ domtool.lex
 parse.sig
 parse.sml
 
+printFn.sig
+printFn.sml
+
 print.sig
 print.sml
 
@@ -109,6 +112,9 @@ plugins/socketPerm.sml
 plugins/firewall.sig
 plugins/firewall.sml
 
+plugins/easy_domain.sig
+plugins/easy_domain.sml
+
 mail/vmail.sig
 mail/vmail.sml