| changeset 26377 | 54dc2f9c5be8 |
| parent 26215 | 94d32a7cd0fb |
| child 28151 | 61f9c918b410 |
--- a/src/Pure/ML-Systems/polyml-4.1.3.ML Mon Mar 24 18:35:40 2008 +0100 +++ b/src/Pure/ML-Systems/polyml-4.1.3.ML Mon Mar 24 18:35:41 2008 +0100 @@ -6,3 +6,7 @@ use "ML-Systems/polyml_old_basis.ML"; use "ML-Systems/polyml_common.ML"; +use "ML-Systems/polyml_old_compiler4.ML"; + +val pointer_eq = Address.wordEq; +