chore: remove repetitive words (#1418)

Signed-off-by: MarkDaveny <[email protected]>
informalsystems · May 29, 2024 · 9331d5c · 9331d5c
1 parent c00441f
commit 9331d5c
Show file tree

Hide file tree

Showing 6 changed files with 6 additions and 6 deletions.
diff --git a/abci/src/application/kvstore.rs b/abci/src/application/kvstore.rs
@@ -293,7 +293,7 @@ enum Command {
         key: String,
         result_tx: Sender<(i64, Option<String>)>,
     },
-    /// Set the value of `key` to to `value`.
+    /// Set the value of `key` to `value`.
     Set {
         key: String,
         value: String,

diff --git a/docs/spec/lightclient/verification/Lightclient_A_1.tla b/docs/spec/lightclient/verification/Lightclient_A_1.tla
@@ -137,7 +137,7 @@ LCInit ==
         /\ fetchedLightBlocks = [h \in {TRUSTED_HEIGHT} |-> trustedLightBlock]
         \* initially, lightBlockStatus is a function of one element, i.e., TRUSTED_HEIGHT
         /\ lightBlockStatus = [h \in {TRUSTED_HEIGHT} |-> "StateVerified"]
-        \* the latest verified block the the trusted block
+        \* the latest verified block the trusted block
         /\ latestVerified = trustedLightBlock
 
 \* block should contain a copy of the block from the reference chain, with a matching commit

diff --git a/light-client-verifier/src/operations/commit_validator.rs b/light-client-verifier/src/operations/commit_validator.rs
@@ -17,7 +17,7 @@ pub trait CommitValidator: Send + Sync {
     ) -> Result<(), VerificationError> {
         let signatures = &signed_header.commit.signatures;
 
-        // Check the the commit contains at least one non-absent signature.
+        // Check the commit contains at least one non-absent signature.
         // See https://github.com/informalsystems/tendermint-rs/issues/650
         let has_present_signatures = signatures.iter().any(|cs| !cs.is_absent());
         if !has_present_signatures {

diff --git a/light-client/tests/support/model_based/Lightclient_003_draft.tla b/light-client/tests/support/model_based/Lightclient_003_draft.tla
@@ -188,7 +188,7 @@ LCInit ==
         /\ fetchedLightBlocks = [h \in {TRUSTED_HEIGHT} |-> trustedLightBlock]
         \* initially, lightBlockStatus is a function of one element, i.e., TRUSTED_HEIGHT
         /\ lightBlockStatus = [h \in {TRUSTED_HEIGHT} |-> "StateVerified"]
-        \* the latest verified block the the trusted block
+        \* the latest verified block the trusted block
         /\ latestVerified = trustedLightBlock
         /\ InitMonitor(trustedLightBlock, trustedLightBlock, now, "SUCCESS")
 

diff --git a/tendermint/src/block/signed_header.rs b/tendermint/src/block/signed_header.rs
@@ -1,4 +1,4 @@
-//! SignedHeader contains commit and and block header.
+//! SignedHeader contains commit and block header.
 //! It is what the rpc endpoint /commit returns and hence can be used by a
 //! light client.
 

diff --git a/tendermint/src/time.rs b/tendermint/src/time.rs
@@ -288,7 +288,7 @@ mod tests {
             ]
         ) {
             // ser/de of rfc3339 timestamps is safe if it never panics.
-            // This differs from the the inverse test in that we are testing on
+            // This differs from the inverse test in that we are testing on
             // arbitrarily generated textual timestamps, rather than times in a
             // range. Tho we do incidentally test the inversion as well.
             let time: Time = stamp.parse().unwrap();