From 06099264f89b8542a8c8912e02d5fce4d78226ef Mon Sep 17 00:00:00 2001
From: Michael George <michael@certora.com>
Date: Mon, 30 Oct 2023 17:10:30 -0400
Subject: [PATCH] fixed optional

---
 docs/cvl/methods.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/cvl/methods.md b/docs/cvl/methods.md
index e7280808..619b706a 100644
--- 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;
 }
 ```