More verbose couldn't-find-cert message

[hcoop/domtool2.git] / src / sources

diff --git a/src/sources b/src/sources
index a544a3b..3b129fd 100644 (file)
--- a/src/sources
+++ b/src/sources
@@ -18,12 +18,18 @@ domtool.lex
 parse.sig
 parse.sml
 
+printFn.sig
+printFn.sml
+
 print.sig
 print.sml
 
 env.sig
 env.sml
 
+describe.sig
+describe.sml
+
 tycheck.sig
 tycheck.sml