chore: apply suggestions from code review

Co-authored-by: MathisGD <74971347+MathisGD@users.noreply.github.com> Signed-off-by: Colin | Morpho 🦋 <colin@morpho.xyz>
morpho-org · Dec 5, 2024 · 15a21f1 · 15a21f1
1 parent fc5b6cb
commit 15a21f1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/certora/README.md b/certora/README.md
@@ -30,7 +30,7 @@ Note: the compiled contracts may include loops related to handling strings from
 
 This is checked in [`ExternalCalls.spec`](specs/ExternalCalls.spec).
 
-### ERC20 Compliance
+### ERC20 Compliance and Correctness
 
 This is checked in [`ERC20.spec`](specs/ERC20.spec) and [`ERC20Invariants.spec`](specs/ERC20Invariants.spec) .