X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/a49a9bfbe03214c68d029fe856a56006267bc8a3..06bd821502f57dcb4ef89295b221fc2b9a4f1ae3:/src/prefix.cm

diff --git a/src/prefix.cm b/src/prefix.cm
index 79ba23d..b75f99a 100644
--- 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