diff -r 06052394efbe -r 1ae987cc052f src/Pure/PIDE/resources.scala
--- a/src/Pure/PIDE/resources.scala	Wed Aug 28 10:18:50 2019 +0200
+++ b/src/Pure/PIDE/resources.scala	Wed Aug 28 22:59:49 2019 +0200
@@ -228,8 +228,10 @@
       previous: Document.Version,
       doc_blobs: Document.Blobs,
       edits: List[Document.Edit_Text],
-      consolidate: List[Document.Node.Name]): Session.Change =
-    Thy_Syntax.parse_change(resources, reparse_limit, previous, doc_blobs, edits, consolidate)
+      consolidate: List[Document.Node.Name],
+      share_common_data: Boolean): Session.Change =
+    Thy_Syntax.parse_change(
+      resources, reparse_limit, previous, doc_blobs, edits, consolidate, share_common_data)
 
   def commit(change: Session.Change) { }