From 33c00cbf76ace9258c85a3bf059ce87ebc3d258f Mon Sep 17 00:00:00 2001
From: Mikhail <16622558+mmv08@users.noreply.github.com>
Date: Thu, 29 Aug 2024 14:37:22 +0200
Subject: [PATCH] Update certora-cli dependency to latest 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 df37fea8f..53795ab04 100644
--- a/modules/4337/certora/requirements.txt
+++ b/modules/4337/certora/requirements.txt
@@ -1 +1 @@
-certora-cli==7.10.1
+certora-cli==7.10.2
\ No newline at end of file