# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1221332337 14400
# Node ID c655eddc37959fbf8a37b0f62222fab7ec44a65b
# Parent  02d15d81ae9b1ff1f1156ab8aee20eb848b9f010
Change prefix.cm to work with latest smlnj Debian package

diff -r 02d15d81ae9b -r c655eddc3795 src/prefix.cm
--- a/src/prefix.cm	Sat Sep 13 11:13:46 2008 -0400
+++ b/src/prefix.cm	Sat Sep 13 14:58:57 2008 -0400
@@ -2,5 +2,5 @@
 
 $/basis.cm
 $/smlnj-lib.cm
-$/ml-yacc-lib.cm
+$smlnj/ml-yacc/ml-yacc-lib.cm
 $/pp-lib.cm