--- a/src/Pure/ML-Systems/polyml-5.0.ML Thu Mar 06 19:21:25 2008 +0100
+++ b/src/Pure/ML-Systems/polyml-5.0.ML Thu Mar 06 19:21:26 2008 +0100
@@ -4,7 +4,7 @@
Compatibility wrapper for Poly/ML 5.0.
*)
-use "ML-Systems/polyml.ML";
+use "ML-Systems/polyml_common.ML";
val pointer_eq = PolyML.pointerEq;