CBMC: Correct type used in mqtt_state for operation list allocation.
@@ -181,8 +181,7 @@ bool valid_IotMqttOperationList( const IotListDouble_t *pOp,
IotListDouble_t *pLink;
IotContainers_ForEach( pOp, pLink ) {
- IotMqttOperation_t
- *pElt = IotLink_Container( _mqttSubscription_t, pLink, link );
+ IotMqttOperation_t *pElt = IotLink_Container( struct _mqttOperation, pLink, link );
if (! valid_IotMqttOperation( pElt ) ) return false;
}
