remove unused function in harness

Certora · Jan 7, 2025 · 7500134 · 7500134
1 parent 0644d7a
commit 7500134
Showing 1 changed file with 0 additions and 4 deletions.
diff --git 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();
-    }
-
 }