Factor path prefixes into ConfigCore structure

[hcoop/domtool2.git] / src / sources

diff --git a/src/sources b/src/sources
index 1538dd4..3c3ff42 100644 (file)
--- a/src/sources
+++ b/src/sources
@@ -7,6 +7,8 @@ ast.sml
 
 configTypes.sml
 
+../config/core/core.sig
+../config/core/core.sml
 ../configDefault/config.sig
 ../configDefault/configDefault.sml