Include CONFIG_CORE signature in domtool.cfs and fix webbw build

[hcoop/domtool2.git] / src / stats / webbw.mlb

diff --git a/src/stats/webbw.mlb b/src/stats/webbw.mlb
index cfc1dc8..d7ef6fd 100644 (file)
--- a/src/stats/webbw.mlb
+++ b/src/stats/webbw.mlb
@@ -2,6 +2,8 @@ $(SML_LIB)/basis/basis.mlb
 $(SML_LIB)/smlnj-lib/Util/smlnj-lib.mlb
 
 ../configTypes.sml
+../../config/core/core.sig
+../../config/core/core.sml
 ../../configDefault/config.sig
 ../../configDefault/configDefault.sml
 ../../config.sml