From 77c361cabddc51a9db818ee7eda34c7e047aebb5 Mon Sep 17 00:00:00 2001
From: Mikhail <16622558+mmv08@users.noreply.github.com>
Date: Thu, 29 Aug 2024 17:37:26 +0200
Subject: [PATCH] fix certora config

---
 modules/4337/certora/conf/TransactionExecutionMethods.conf | 4 ++--
 modules/4337/certora/harnesses/Account.sol                 | 1 -
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/modules/4337/certora/conf/TransactionExecutionMethods.conf b/modules/4337/certora/conf/TransactionExecutionMethods.conf
index b121e4d0..8c3906f6 100644
--- 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
index f6288791..9505b65c 100644
--- 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(