diff --git a/certora/requirements.txt b/certora/requirements.txt
index df37fea8f..6ab909e71 100644
--- a/certora/requirements.txt
+++ b/certora/requirements.txt
@@ -1 +1 @@
-certora-cli==7.10.1
+certora-cli==7.22.2