Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/PIDE/session.scala
changeset 76761 d062c7f4f2d1
parent 76610 6e2383488a55
child 76765 c654103e9c9d 
--- a/src/Pure/PIDE/session.scala	Fri Dec 23 15:20:53 2022 +0100
+++ b/src/Pure/PIDE/session.scala	Fri Dec 23 15:29:29 2022 +0100
@@ -690,7 +690,7 @@
 
   def snapshot(name: Document.Node.Name = Document.Node.Name.empty,
       pending_edits: List[Text.Edit] = Nil): Document.Snapshot =
-    get_state().snapshot(name, pending_edits)
+    get_state().snapshot(name, pending_edits = pending_edits)
 
   def recent_syntax(name: Document.Node.Name): Outer_Syntax =
     get_state().recent_finished.version.get_finished.nodes(name).syntax getOrElse
isabelle