diff --git a/modules/4337/certora/requirements.txt b/modules/4337/certora/requirements.txt
index df37fea8..53795ab0 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