fix certora config

safe-global · Aug 29, 2024 · 77c361c · 77c361c
1 parent cdb703c
commit 77c361c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/modules/4337/certora/conf/TransactionExecutionMethods.conf b/modules/4337/certora/conf/TransactionExecutionMethods.conf
@@ -18,7 +18,7 @@
     "solc_allow_path":"../../node_modules",
     "verify": "Safe4337Module:certora/specs/TransactionExecutionMethods.spec",
     "packages": [
-        "@account-abstraction=../../node_modules/.pnpm/@account-abstraction+contracts@0.7.0/node_modules/@account-abstraction",
-        "@safe-global=../../node_modules/.pnpm/@safe-global+safe-contracts@1.4.1-build.0_ethers@6.13.2_bufferutil@4.0.8_utf-8-validate@5.0.10_/node_modules/@safe-global"
+        "@account-abstraction=node_modules/@account-abstraction",
+        "@safe-global=node_modules/@safe-global"
     ]
 }
diff --git a/modules/4337/certora/harnesses/Account.sol b/modules/4337/certora/harnesses/Account.sol
@@ -1,7 +1,6 @@
 // SPDX-License-Identifier: LGPL-3.0-only
 pragma solidity >=0.8.0;
 import {Safe} from "@safe-global/safe-contracts/contracts/Safe.sol";
-import {Enum} from "@safe-global/safe-contracts/contracts/common/Enum.sol";
 
 contract Account is Safe {
     constructor(