# HG changeset patch
# User wenzelm
# Date 1666000693 -7200
# Node ID 3e1e2f9198bb2511c5f1ef40524d79af00084b18
# Parent  9610ec07e9976c34db70e943ef60f84da0c8d321
tuned signature, following hints by IntelliJ IDEA;

diff -r 9610ec07e997 -r 3e1e2f9198bb src/Pure/PIDE/session.scala
--- a/src/Pure/PIDE/session.scala	Sun Oct 16 20:33:59 2022 +0200
+++ b/src/Pure/PIDE/session.scala	Mon Oct 17 11:58:13 2022 +0200
@@ -332,7 +332,7 @@
     def defined: Boolean = variable.value.isDefined
     def get: Prover = variable.value.get
     def set(p: Prover): Unit = variable.change(_ => Some(p))
-    def reset: Unit = variable.change(_ => None)
+    def reset(): Unit = variable.change(_ => None)
     def await_reset(): Unit = variable.guarded_access({ case None => Some((), None) case _ => None })
   }
 
@@ -557,7 +557,7 @@
               }
               file_formats.stop_session
               phase = Session.Terminated(result)
-              prover.reset
+              prover.reset()
 
             case _ =>
               raw_output_messages.post(output)