From d4f59362e9b16291feb88f14090fcf2311686e74 Mon Sep 17 00:00:00 2001
From: Shebin John <admin@remedcu.com>
Date: Mon, 9 Dec 2024 14:10:33 +0530
Subject: [PATCH] Update Certora Version for 4337 Module (#502)

Closes #472

This pull request includes a small change to the
`modules/4337/certora/requirements.txt` file. The change updates the
version of `certora-cli` from 7.14.3 to 7.20.3.
---
 modules/4337/certora/requirements.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/modules/4337/certora/requirements.txt b/modules/4337/certora/requirements.txt
index b5c9c5e0..07e7336e 100644
--- a/modules/4337/certora/requirements.txt
+++ b/modules/4337/certora/requirements.txt
@@ -1 +1 @@
-certora-cli==7.14.3
+certora-cli==7.20.3