# HG changeset patch
# User wenzelm
# Date 1293622635 -3600
# Node ID 3bcc3b9e1020161988d91eabcf1e9729d9378e0c
# Parent  3d99be274463699a23a468b8a6a1faf21b5bfb95
share_common_data dummy;

diff -r 3d99be274463 -r 3bcc3b9e1020 src/Pure/ML-Systems/smlnj.ML
--- a/src/Pure/ML-Systems/smlnj.ML	Wed Dec 29 12:34:33 2010 +0100
+++ b/src/Pure/ML-Systems/smlnj.ML	Wed Dec 29 12:37:15 2010 +0100
@@ -26,6 +26,8 @@
 CM.autoload "$smlnj/init/init.cmi";
 val pointer_eq = InlineT.ptreql;
 
+fun share_common_data () = ();
+
 
 (* restore old-style character / string functions *)