--- a/src/Pure/ML-Systems/polyml-4.2.0.ML Mon Mar 24 18:35:40 2008 +0100
+++ b/src/Pure/ML-Systems/polyml-4.2.0.ML Mon Mar 24 18:35:41 2008 +0100
@@ -5,3 +5,7 @@
*)
use "ML-Systems/polyml_common.ML";
+use "ML-Systems/polyml_old_compiler4.ML";
+
+val pointer_eq = Address.wordEq;
+