Update spec/protocol-spec/README.md

Co-authored-by: Igor Konnov <[email protected]>
matter-labs · Jun 24, 2024 · ca40d45 · ca40d45
1 parent 09c5372
commit ca40d45
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/spec/protocol-spec/README.md b/spec/protocol-spec/README.md
@@ -72,7 +72,7 @@ execution:
 
 In the course of writing the specification, we have developed a number of state
 invariants. By simulating and model checking the specification against these
-invariants increases our confidence in the correctness of the protocol.
+invariants, we have increased our confidence in the correctness of the protocol.
 
 |#| Invariant        | Description                                                   |
 |--| ---------------- | ------------------------------------------------------------- |