1
(* Title: Pure/ML-Systems/polyml-5.1.ML
2
ID: $Id$
3
4
Compatibility wrapper for Poly/ML 5.1.
5
*)
6
7
open Thread;
8
use "ML-Systems/polyml_common.ML";
9
use "ML-Systems/polyml_old_compiler5.ML";
10
11
val pointer_eq = PolyML.pointerEq;