Update tests/difference/core/quint_model/README.md

Co-authored-by: insumity <[email protected]>
cosmos · Oct 5, 2023 · 918e71a · 918e71a
1 parent a80ce70
commit 918e71a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/difference/core/quint_model/README.md b/tests/difference/core/quint_model/README.md
@@ -7,7 +7,7 @@ The core of the protocol.
 - ccv_statemachine.qnt: Contains the state machine layer for CCV. Very roughly speaking, this could be seen as "e2e tests".
 Also contains invariants.
 - ccv_test.qnt: Contains unit tests for the functional layer of CCV.
-- libararies/*: Libraries that don't belong to CCV, but are used by it.
+- libraries/*: Libraries that don't belong to CCV, but are used by it.
 
 ### Model details