src/Pure/PIDE/protocol.ML

--- a/src/Pure/PIDE/protocol.ML	Mon Feb 29 15:06:53 2016 +0100
+++ b/src/Pure/PIDE/protocol.ML	Mon Feb 29 15:23:13 2016 +0100
@@ -123,8 +123,8 @@
         handle exn => if Exn.is_interrupt exn then () (*sic!*) else reraise exn);
 
 val _ =
-  Isabelle_Process.protocol_command "ML_System.share_common_data"
-    (fn [] => ML_System.share_common_data ());
+  Isabelle_Process.protocol_command "ML_Heap.share_common_data"
+    (fn [] => ML_Heap.share_common_data ());
 
 end;