diff --git a/certora/harnesses/ExtensibleFallbackHandlerHarness.sol b/certora/harnesses/ExtensibleFallbackHandlerHarness.sol
index 590d5bd33..02c1730d7 100644
--- a/certora/harnesses/ExtensibleFallbackHandlerHarness.sol
+++ b/certora/harnesses/ExtensibleFallbackHandlerHarness.sol
@@ -8,8 +8,4 @@ contract ExtensibleFallbackHandlerHarness is ExtensibleFallbackHandler {
         return safeMethods[safe][selector];
     }
 
-    function getContextAndHandler() external view returns (ISafe safe, address sender, bool isStatic, address handler) {
-        _getContextAndHandler();
-    }
-
 }
\ No newline at end of file