Remove unused function

makerdao · Sep 16, 2024 · a047354 · a047354
1 parent 8118378
commit a047354
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/test/mocks/GemMock.sol b/test/mocks/GemMock.sol
@@ -77,9 +77,4 @@ contract GemMock {
             totalSupply     = totalSupply - value;
         }
     }
-
-    //[CERTORA] (empty) concrete implementation to the abstract function defined in Flap.sol
-    function move(address a, address b ,uint num) external {
-
-    }
 }