src/Pure/ML-Systems/share_common_data_polyml-5.3.0.ML
author wenzelm
Tue Mar 25 13:18:10 2014 +0100 (2014-03-25 ago)
changeset 56275 600f432ab556
parent 52711 155f02cacb2d
permissions -rw-r--r--
added command 'SML_file' for Standard ML without Isabelle/ML add-ons;
     1 (*  Title:      Pure/ML-Systems/share_common_data_polyml-5.3.0.ML
     2 
     3 Dummy for Poly/ML 5.3.0, which cannot share the massive heap of HOL
     4 anymore.
     5 *)
     6 
     7 structure PolyML =
     8 struct
     9   open PolyML;
    10   fun shareCommonData _ = ();
    11 end;