From 0b6a5f8ac6ed67ffb95fe9746cb72d730355d74a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Brandenburg?= <bbb@mpi-sws.org>
Date: Fri, 18 Mar 2022 11:10:46 +0100
Subject: [PATCH] resolve spelling issues
---
analysis/facts/behavior/arrivals.v | 2 +-
scripts/wordlist.pws | 4 +++-
2 files changed, 4 insertions(+), 2 deletions(-)
diff --git a/analysis/facts/behavior/arrivals.v b/analysis/facts/behavior/arrivals.v
index a44fb2e22..36535d58c 100644
--- a/analysis/facts/behavior/arrivals.v
+++ b/analysis/facts/behavior/arrivals.v
@@ -109,7 +109,7 @@ Section Arrived.
jobs_come_from_arrival_sequence sched arr_seq.
Proof. by move=> ? []. Qed.
- (** ... third, on the readiness of jobs in valid scheduleds. *)
+ (** ... third, on the readiness of jobs in valid schedules. *)
Lemma valid_schedule_jobs_must_be_ready_to_execute :
forall arr_seq,
valid_schedule sched arr_seq -> jobs_must_be_ready_to_execute sched.
diff --git a/scripts/wordlist.pws b/scripts/wordlist.pws
index fce42c60a..c0e907a58 100644
--- a/scripts/wordlist.pws
+++ b/scripts/wordlist.pws
@@ -73,4 +73,6 @@ Gonthier
setoid
Leontyev
et
-al
\ No newline at end of file
+al
+discoverable
+formedness
--
GitLab