fix: some typos (#1373)

informalsystems · Nov 6, 2023 · 707d283 · 707d283
1 parent 37822e5
commit 707d283
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/docs/architecture/adr-003-light-client-core-verification.md b/docs/architecture/adr-003-light-client-core-verification.md
@@ -129,7 +129,7 @@ in `voting_power_in`.
 
 By abstracting over the underlying vote type, this trait can support
 optimizations like batch verification of signatures, and the use of
-agreggate signatures instead of individual votes.
+aggregate signatures instead of individual votes.
 So long as it can be determined what voting power of a given validator set
 signed correctly for the commit.
 

diff --git a/docs/spec/tendermint-fork-cases/README.md b/docs/spec/tendermint-fork-cases/README.md
@@ -3,7 +3,7 @@
  A TLA+ specification of a simplified Tendermint consensus, tuned for
  fork accountability. The simplifications are as follows:
 
- - the procotol runs for one height, that is, one-shot consensus
+ - the protocol runs for one height, that is, one-shot consensus
 
  - this specification focuses on safety, so timeouts are modelled with
    with non-determinism

diff --git a/light-client-verifier/src/errors.rs b/light-client-verifier/src/errors.rs
@@ -188,7 +188,7 @@ pub trait ErrorExt {
     /// querying a node.
     fn is_timeout(&self) -> Option<Duration>;
 
-    /// Whether an I/O error occured when querying a node.
+    /// Whether an I/O error occurred when querying a node.
     fn is_io(&self) -> bool;
 
     /// Whether the height of the requested light block is higher than the