chore: made setConsensusLayerData function to virtual for certora

liquid-collective · Oct 22, 2024 · 691b1a2 · 691b1a2
1 parent 2d248e8
commit 691b1a2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/contracts/src/components/OracleManager.1.sol b/contracts/src/components/OracleManager.1.sol
@@ -256,7 +256,7 @@ abstract contract OracleManagerV1 is IOracleManagerV1 {
     }
 
     /// @inheritdoc IOracleManagerV1
-    function setConsensusLayerData(IOracleManagerV1.ConsensusLayerReport calldata _report) external {
+    function setConsensusLayerData(IOracleManagerV1.ConsensusLayerReport calldata _report) external virtual {
         // only the oracle is allowed to call this endpoint
         if (msg.sender != OracleAddress.get()) {
             revert LibErrors.Unauthorized(msg.sender);