From 918e71a186c6bf808ebcec1b2785e7f966f7e5c3 Mon Sep 17 00:00:00 2001 From: Philip Offtermatt <57488781+p-offtermatt@users.noreply.github.com> Date: Thu, 5 Oct 2023 17:29:34 +0200 Subject: [PATCH] Update tests/difference/core/quint_model/README.md Co-authored-by: insumity --- tests/difference/core/quint_model/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/difference/core/quint_model/README.md b/tests/difference/core/quint_model/README.md index 7687c50036..d7b9ebd78e 100644 --- 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