X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/e1b99e23f8d30efc7842ee006e0ff3ef0347b7df..d307ad55e460dd1ceb4fa0601e45546e2f2a87d3:/src/sources

diff --git a/src/sources b/src/sources
index 7809a93..3b129fd 100644
--- a/src/sources
+++ b/src/sources
@@ -18,6 +18,9 @@ domtool.lex
 parse.sig
 parse.sml
 
+printFn.sig
+printFn.sml
+
 print.sig
 print.sml