src/Pure/ML-Systems/polyml-4.2.0.ML
author wenzelm
Mon Mar 24 18:35:41 2008 +0100 (2008-03-24)
changeset 26377 54dc2f9c5be8
parent 26215 94d32a7cd0fb
child 28151 61f9c918b410
permissions -rw-r--r--
removed pointer_eq from polyml_common.ML (structure Address no longer available after 5.1);
     1 (*  Title:      Pure/ML-Systems/polyml-4.2.0.ML
     2     ID:         $Id$
     3 
     4 Compatibility wrapper for Poly/ML 4.2.0.
     5 *)
     6 
     7 use "ML-Systems/polyml_common.ML";
     8 use "ML-Systems/polyml_old_compiler4.ML";
     9 
    10 val pointer_eq = Address.wordEq;
    11