Skip to content
Snippets Groups Projects
Commit d907c61a authored by Björn Brandenburg's avatar Björn Brandenburg
Browse files

fix comment

parent 260faaea
No related branches found
No related tags found
No related merge requests found
Pipeline #117638 passed
Stage: build
Hide whitespace changes
Inline Side-by-side
analysis/definitions/finish_time.v
+ 1
− 1
View file @ d907c61a
......@@ -29,7 +29,7 @@ Section JobFinishTime.
(** In the following, we proceed under the assumption that [j] finishes
eventually (i.e., no later than [R] time units after its arrival, for any
finite [R]), ... *)
finite [R]). *)
Variable R : nat.
Hypothesis H_response_time_bounded : job_response_time_bound sched j R.
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment