--- a/src/Pure/PIDE/protocol.ML Sat Sep 26 18:59:12 2020 +0200 +++ b/src/Pure/PIDE/protocol.ML Sun Sep 27 17:02:59 2020 +0200 @@ -182,4 +182,3 @@ (fn [] => ML_Heap.share_common_data ()); end; -