From a5a647f670f8e2fa7749e29aee39e2511afb2a21 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 13 Sep 2008 14:58:57 -0400
Subject: Change prefix.cm to work with latest smlnj Debian package

---
 src/prefix.cm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/prefix.cm b/src/prefix.cm
index cbd9c651..e4be65c4 100644
--- a/src/prefix.cm
+++ b/src/prefix.cm
@@ -2,5 +2,5 @@ Group is
 
 $/basis.cm
 $/smlnj-lib.cm
-$/ml-yacc-lib.cm
+$smlnj/ml-yacc/ml-yacc-lib.cm
 $/pp-lib.cm
-- 
cgit v1.2.3