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.
removed somewhat pointless check;
authorwenzelm
Tue, 12 Mar 2024 11:16:06 +0100
changeset 79867 741b52cb497c
parent 79866 75871d47e400
child 79868 ede8b298cfe8
removed somewhat pointless check;
src/Pure/Build/build_process.scala file | annotate | diff | comparison | revisions
src/Pure/Build/build_schedule.scala file | annotate | diff | comparison | revisions 
--- 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)
 
--- 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 =
isabelle