Fix regeneration of multi-file dependencies

[hcoop/domtool2.git] / src / prefix.cm

diff --git a/src/prefix.cm b/src/prefix.cm
index 79ba23d..b75f99a 100644 (file)
--- a/src/prefix.cm
+++ b/src/prefix.cm
@@ -8,6 +8,7 @@ $/pp-lib.cm
 $c/internals/c-int.cm
 
 ../openssl/smlnj/FFI/libssl.h.cm
+../pcre/smlnj/FFI/libpcre.h.cm
 
 compat.sig
 compat_smlnj.sml