X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/55d4a2686f9334ccd03602c86e43395acef9537d..f8ef6c208aee42dd24c8836797a89f786c985a6f:/src/sources

diff --git a/src/sources b/src/sources
index 70b79da..a544a3b 100644
--- a/src/sources
+++ b/src/sources
@@ -5,6 +5,8 @@ dataStructures.sml
 
 ast.sml
 
+configTypes.sml
+
 ../configDefault/config.sig
 ../configDefault/configDefault.sml