# HG changeset patch
# User wenzelm
# Date 1710238566 -3600
# Node ID 741b52cb497c78e5368ed8e6a9f9133a7881e66b
# Parent  75871d47e400a9c808925b54388d12f209c128bc
removed somewhat pointless check;

diff -r 75871d47e400 -r 741b52cb497c src/Pure/Build/build_process.scala
--- a/src/Pure/Build/build_process.scala	Tue Mar 12 11:14:02 2024 +0100
+++ b/src/Pure/Build/build_process.scala	Tue Mar 12 11:16:06 2024 +0100
@@ -229,8 +229,6 @@
     running: State.Running = Map.empty,
     results: State.Results = Map.empty
   ) {
-    require(serial >= 0, "serial underflow")
-
     def next_serial: Long = State.inc_serial(serial)
     def inc_serial: State = copy(serial = next_serial)
 
diff -r 75871d47e400 -r 741b52cb497c src/Pure/Build/build_schedule.scala
--- a/src/Pure/Build/build_schedule.scala	Tue Mar 12 11:14:02 2024 +0100
+++ b/src/Pure/Build/build_schedule.scala	Tue Mar 12 11:16:06 2024 +0100
@@ -468,8 +468,6 @@
     graph: Schedule.Graph,
     serial: Long = 0,
   ) {
-    require(serial >= 0, "serial underflow")
-
     def next_serial: Long = Build_Process.State.inc_serial(serial)
 
     def end: Date =