src/Pure/PIDE/protocol.ML
changeset 62467 c1b88e647e2f
parent 61381 ddca85598c65
child 62505 9e2a65912111
     1.1 --- a/src/Pure/PIDE/protocol.ML	Mon Feb 29 15:06:53 2016 +0100
     1.2 +++ b/src/Pure/PIDE/protocol.ML	Mon Feb 29 15:23:13 2016 +0100
     1.3 @@ -123,8 +123,8 @@
     1.4          handle exn => if Exn.is_interrupt exn then () (*sic!*) else reraise exn);
     1.5  
     1.6  val _ =
     1.7 -  Isabelle_Process.protocol_command "ML_System.share_common_data"
     1.8 -    (fn [] => ML_System.share_common_data ());
     1.9 +  Isabelle_Process.protocol_command "ML_Heap.share_common_data"
    1.10 +    (fn [] => ML_Heap.share_common_data ());
    1.11  
    1.12  end;
    1.13