src/Pure/ROOT

--- a/src/Pure/ROOT	Fri Jul 19 17:58:57 2013 +0200
+++ b/src/Pure/ROOT	Fri Jul 19 20:56:39 2013 +0200
@@ -16,6 +16,7 @@
     "ML-Systems/proper_int.ML"
     "ML-Systems/single_assignment.ML"
     "ML-Systems/single_assignment_polyml.ML"
+    "ML-Systems/share_common_data_polyml-5.3.0.ML"
     "ML-Systems/smlnj.ML"
     "ML-Systems/thread_dummy.ML"
     "ML-Systems/universal.ML"