X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/a95a01077068e27009d4240aa0fc0c8f58908c6b..d351d679283a797c98f5f65d18aa757c18e56305:/src/prefix.mlb

diff --git a/src/prefix.mlb b/src/prefix.mlb
index 11c92f7..e95c596 100644
--- a/src/prefix.mlb
+++ b/src/prefix.mlb
@@ -9,5 +9,9 @@ $(SML_LIB)/mlnlffi-lib/internals/c-int.mlb
 ../openssl/mlton/FFI/libssl.h.mlb
 
 compat.sig
-compat_mlton.sml
 
+local
+	$(SML_LIB)/basis/mlton.mlb
+in
+	compat_mlton.sml
+end