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 82779 ec6eb16e4692
parent 82778 803731b62180
child 82780 beba766806ed 
--- a/src/Pure/PIDE/session.scala	Fri Jun 27 13:37:36 2025 +0200
+++ b/src/Pure/PIDE/session.scala	Fri Jun 27 13:44:36 2025 +0200
@@ -265,7 +265,7 @@
       val prev = previous.get_finished
       val change =
         Timing.timeit(
-          resources.parse_change(reparse_limit, prev, doc_blobs, text_edits, consolidate),
+          Thy_Syntax.parse_change(resources, reparse_limit, prev, doc_blobs, text_edits, consolidate),
           message = _ => "parse_change",
           enabled = timing)
       version_result.fulfill(change.version)
isabelle