--- a/src/Pure/ML-Systems/polyml-5.0.ML Tue Jan 27 00:42:12 2009 +0100
+++ b/src/Pure/ML-Systems/polyml-5.0.ML Tue Jan 27 12:59:22 2009 +0100
@@ -10,3 +10,5 @@
val pointer_eq = PolyML.pointerEq;
+fun share_common_data () = PolyML.shareCommonData PolyML.rootFunction;
+