Fix typos

informalsystems · Nov 24, 2023 · 1662d0f · 1662d0f
1 parent 6fcfaf8
commit 1662d0f
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/Specs/Quint/asyncModelsTest.qnt b/Specs/Quint/asyncModelsTest.qnt
@@ -188,7 +188,7 @@ import statemachineAsync(
     Heights = Set(0) // , 1, 2, 3)
 ) as N4F2 from "./statemachineAsync"
 
-// v3 and v4 are correct. v2 is a N4N4F22aulty proposal and proposes diN4N4F22N4N4F22erently to v3 and v4
+// v3 and v4 are correct. v2 is a faulty proposal and proposes differently to v3 and v4
 // this run leads to disagreement
 run DisagreementTest = {
     N4F2::init
@@ -243,4 +243,4 @@ run DisagreementTest = {
 
 
 
-}
+}
diff --git a/Specs/Quint/voteBookkeeper.qnt b/Specs/Quint/voteBookkeeper.qnt
@@ -152,7 +152,7 @@ module voteBookkeeper {
     // Called by the executor when it receives a vote. The function takes the following steps:
     // - It first adds the vote and then computes a threshold.
     // - If there exist a threshold and has not emitted before, the function returns the corresponsing ExecutorEvent.
-    // - Othewise, the function returns a no-threshold event.
+    // - Otherwise, the function returns a no-threshold event.
     // - Note that if there is no threshold after adding the vote, the function checks if there is a skip threshold.
     // TO DISCUSS:
     // - There might be a problem if we generalize from single-shot to multi-shot: the keeper only keeps the totalWeight