fix certora conf

safe-global · Jun 24, 2024 · f803ec3 · f803ec3
1 parent dd6697c
commit f803ec3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/modules/4337/certora/conf/Safe4337Module.conf b/modules/4337/certora/conf/Safe4337Module.conf
@@ -18,6 +18,6 @@
     "verify": "Safe4337Module:certora/specs/Safe4337Module.spec",
     "packages": [
         "@account-abstraction=../../node_modules/.pnpm/@[email protected]/node_modules/@account-abstraction",
-        "@safe-global=../../node_modules/.pnpm/@[email protected]_ethers@6.12[email protected][email protected]_/node_modules/@safe-global"
+        "@safe-global=../../node_modules/.pnpm/@[email protected]_ethers@6.13[email protected][email protected]_/node_modules/@safe-global"
     ]
 }