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 *)