put back the orig PayloadsControllerCore.sol

Certora · Dec 3, 2024 · 1394ac5 · 1394ac5
1 parent ac359a6
commit 1394ac5
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/src/contracts/payloads/PayloadsControllerCore.sol b/src/contracts/payloads/PayloadsControllerCore.sol
@@ -214,16 +214,15 @@ abstract contract PayloadsControllerCore is
   }
 
   receive() external payable {}
-  uint256 ___pos;
+
   /**
    * @notice method to cancel a payload
    * @param payloadId id of the payload that needs to be canceled
    */
   function _cancelPayload(uint40 payloadId) internal {
     Payload storage payload = _payloads[payloadId];
-    ___pos = 0;
+
     PayloadState payloadState = _getPayloadState(payload);
-    ___pos = 1;
     require(
       payloadState < PayloadState.Executed &&
         payloadState >= PayloadState.Created,