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

Co-authored-by: insumity <[email protected]>
cosmos · Oct 5, 2023 · 8da4cfe · 8da4cfe
1 parent 918e71a
commit 8da4cfe
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
@@ -11,7 +11,7 @@ Also contains invariants.
 
 ### Model details
 
-To see the data structures used in the model, see the ProtocolState type in ccv.qnt.
+To see the data structures used in the model, see the `ProtocolState` type in ccv.qnt.
 
 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.