# HG changeset patch
# User wenzelm
# Date 1710324246 -3600
# Node ID 6f9ae0f052bc6398140a280320b522669148b57b
# Parent  098c770e03f5e74ed246bb6d894c069d47eae455
tuned signature: fewer warnings in IntelliJ IDEA;

diff -r 098c770e03f5 -r 6f9ae0f052bc src/Pure/General/sql.scala
--- a/src/Pure/General/sql.scala	Wed Mar 13 10:58:15 2024 +0100
+++ b/src/Pure/General/sql.scala	Wed Mar 13 11:04:06 2024 +0100
@@ -406,7 +406,7 @@
   /* notifications: IPC via database server */
 
   sealed case class Notification(channel: String, payload: String = "") {
-    override def toString =
+    override def toString: String =
       "Notification(" + channel + if_proper(payload, "," + payload) + ")"
   }