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

Co-authored-by: insumity <[email protected]>
cosmos · Oct 6, 2023 · 9d40842 · 9d40842
1 parent 2ad4deb
commit 9d40842
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
@@ -16,7 +16,7 @@ To see the data structures used in the model, see the `ProtocolState` type in cc
 The "public" endpoints of the model are those functions that take as an input the protocol state, and return a `Result`.
 Other functions are for utility.
 
-The parameters of the protocol are defined as consts in ccv.qnt.
+The parameters of the protocol are defined as consts in [ccv.qnt](ccv.qnt).
 
 ### Tests