fixed optional

Certora · Oct 30, 2023 · 0609926 · 0609926
1 parent 5a44b1c
commit 0609926
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/cvl/methods.md b/docs/cvl/methods.md
@@ -280,7 +280,7 @@ skipped if the method does not exist in the contract.
 For example:
 ```cvl
 methods {
-    function mint(address _to, uint256 _amount, bytes calldata _data) external;
+    function mint(address _to, uint256 _amount, bytes calldata _data) external optional;
 }
 ```