diff --git a/test/mocks/GemMock.sol b/test/mocks/GemMock.sol
index cbc1db8..853605b 100644
--- 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 {
-
-    }
 }