src/Pure/Thy/thy_load.scala
changeset 55134 1b67b17cdad5
parent 54521 744ea0025e11
child 55879 ac979f750c1a
--- a/src/Pure/Thy/thy_load.scala	Sat Jan 25 13:55:09 2014 +0100
+++ b/src/Pure/Thy/thy_load.scala	Sat Jan 25 15:29:40 2014 +0100
@@ -103,7 +103,9 @@
     reparse_limit: Int,
     previous: Document.Version,
     doc_blobs: Document.Blobs,
-    edits: List[Document.Edit_Text]): (List[Document.Edit_Command], Document.Version) =
+    edits: List[Document.Edit_Text]): (Boolean, List[Document.Edit_Command], Document.Version) =
     Thy_Syntax.text_edits(this, reparse_limit, previous, doc_blobs, edits)
+
+  def syntax_changed() { }
 }