# HG changeset patch
# User wenzelm
# Date 1710238442 -3600
# Node ID 75871d47e400a9c808925b54388d12f209c128bc
# Parent  81717ee519201f6f45758aab0befb8a2017f9f03
tuned signature: fewer warnings in IntelliJ IDEA;

diff -r 81717ee51920 -r 75871d47e400 src/Pure/Build/build_process.scala
--- a/src/Pure/Build/build_process.scala	Mon Mar 11 23:03:12 2024 +0100
+++ b/src/Pure/Build/build_process.scala	Tue Mar 12 11:14:02 2024 +0100
@@ -211,7 +211,7 @@
     results: State.Results)     // finished results
 
   object State {
-    def inc_serial(serial: Long) = {
+    def inc_serial(serial: Long): Long = {
       require(serial < Long.MaxValue, "serial overflow")
       serial + 1
     }