diff -r 9766a2a57182 -r d062c7f4f2d1 src/Pure/PIDE/session.scala
--- 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