From b5ae7553b21d6e43ae7f419ab3ae7e0aba215dd0 Mon Sep 17 00:00:00 2001
From: Shebin John <admin@remedcu.com>
Date: Fri, 4 Oct 2024 16:18:46 +0200
Subject: [PATCH] Certora Version Update

---
 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 df37fea8..b5c9c5e0 100644
--- a/modules/4337/certora/requirements.txt
+++ b/modules/4337/certora/requirements.txt
@@ -1 +1 @@
-certora-cli==7.10.1
+certora-cli==7.14.3