update certora

coinbase · Apr 15, 2024 · c6f388d · c6f388d
1 parent da9a09f
commit c6f388d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/certora/harness/CoinbaseSmartWalletHarness.sol b/certora/harness/CoinbaseSmartWalletHarness.sol
@@ -23,9 +23,9 @@ contract CoinbaseSmartWalletHarness is CoinbaseSmartWallet {
     /// @dev Sends to the EntryPoint (i.e. `msg.sender`) the missing funds for this transaction.
     modifier payPrefund(uint256 missingAccountFunds) override {
         _;
-        assert (msg.sender == entryPoint());
+        assert (msg.sender == entryPoint);
         if(missingAccountFunds !=0) {
-            (bool success, ) = entryPoint().call{gas: gasleft(), value: missingAccountFunds}("");
+            (bool success, ) = entryPoint.call{gas: gasleft(), value: missingAccountFunds}("");
         }
     }