From 3976c6b3c277e2b741ca30cc401330fa3bfa13a4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Brandenburg?= <bbb@mpi-sws.org>
Date: Fri, 30 Aug 2024 12:20:03 +0000
Subject: [PATCH] fix grammar in comment
---
model/task/concept.v | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/model/task/concept.v b/model/task/concept.v
index 93727169f..5b8a0e5ca 100644
--- a/model/task/concept.v
+++ b/model/task/concept.v
@@ -72,7 +72,7 @@ Section ModelValidity.
Definition valid_job_cost j :=
job_cost j <= task_cost (job_task j).
- (** Every job have a valid job cost *)
+ (** Every job has a valid job cost. *)
Definition jobs_have_valid_job_costs :=
forall j, valid_job_cost j.
--
GitLab