X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/42198578566be256bbdebf22757f41edef4aa6ee..a22c187b7b983dad6b0e2c34cd0ab74e95c2411b:/src/domtool.cm

diff --git a/src/domtool.cm b/src/domtool.cm
index a3ee84f..acf15a7 100644
--- a/src/domtool.cm
+++ b/src/domtool.cm
@@ -13,3 +13,6 @@ ast.sml
 
 domtool.lex
 domtool.grm
+
+parse.sig
+parse.sml