Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned signature;
authorwenzelm
Sat, 31 Dec 2022 11:58:45 +0100
changeset 76842 18465808e61f
parent 76841 b8e1c3158012
child 76843 3dfc89c8dd71
tuned signature;
src/Pure/PIDE/session.scala file | annotate | diff | comparison | revisions
src/Pure/Thy/file_format.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/PIDE/session.scala	Sat Dec 31 11:51:04 2022 +0100
+++ b/src/Pure/PIDE/session.scala	Sat Dec 31 11:58:45 2022 +0100
@@ -563,7 +563,7 @@
                 val snapshot = global_state.change_result(_.end_theory(id))
                 finished_theories.post(snapshot)
               }
-              file_formats.stop_session
+              file_formats.stop_session()
               phase = Session.Terminated(result)
               prover.reset()
 
--- a/src/Pure/Thy/file_format.scala	Sat Dec 31 11:51:04 2022 +0100
+++ b/src/Pure/Thy/file_format.scala	Sat Dec 31 11:58:45 2022 +0100
@@ -49,7 +49,7 @@
     def prover_options(options: Options): Options =
       agents.foldLeft(options) { case (opts, agent) => agent.prover_options(opts) }
 
-    def stop_session: Unit = agents.foreach(_.stop())
+    def stop_session(): Unit = agents.foreach(_.stop())
   }
 
   trait Agent {
isabelle