Catch-all aliases working again

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

diff --git a/src/prefix.mlb b/src/prefix.mlb
index e95c596..026d357 100644 (file)
--- a/src/prefix.mlb
+++ b/src/prefix.mlb
@@ -1,5 +1,6 @@
 $(SML_LIB)/basis/basis.mlb
 $(SML_LIB)/basis/unsafe.mlb
+$(SML_LIB)/basis/sml-nj.mlb
 $(SML_LIB)/smlnj-lib/Util/smlnj-lib.mlb
 $(SML_LIB)/mlyacc-lib/mlyacc-lib.mlb
 $(SML_LIB)/smlnj-lib/HTML/html-lib.mlb