changeset 41411 | 3bcc3b9e1020 |
parent 40748 | 591b6778d076 |
child 42012 | 2c3fe3cbebae |
--- 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 *)