diff --git a/requirements.txt b/requirements.txt
index 797b3598d..da3e95766 100644
--- a/requirements.txt
+++ b/requirements.txt
@@ -1 +1 @@
-certora-cli==3.6.3
+certora-cli==3.6.4