From 4949c31c784f1df9e292dc46a6727087e14d0095 Mon Sep 17 00:00:00 2001
From: Shebin John <admin@remedcu.com>
Date: Sat, 7 Dec 2024 19:59:28 +0530
Subject: [PATCH] Update Certora Version

---
 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