Fix merge

morpho-org · Aug 14, 2023 · a0a1a2b · a0a1a2b
1 parent dc7f47b
commit a0a1a2b
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/certora/specs/Blue.spec b/certora/specs/Blue.spec
@@ -20,8 +20,6 @@ methods {
 
     function mathLibMulDivUp(uint256, uint256, uint256) external returns uint256 envfree;
     function mathLibMulDivDown(uint256, uint256, uint256) external returns uint256 envfree;
-    function _.safeTransfer(address, uint256) internal => DISPATCHER(true);
-    function _.safeTransferFrom(address, address, uint256) internal => DISPATCHER(true);
 }
 
 ghost mapping(MorphoHarness.Id => mathint) sumSupplyShares