diff options
Diffstat (limited to 'FreeRTOS/Test/CBMC/include/aws_freertos_ip_verification_access_ip_define.h')
-rw-r--r-- | FreeRTOS/Test/CBMC/include/aws_freertos_ip_verification_access_ip_define.h | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/FreeRTOS/Test/CBMC/include/aws_freertos_ip_verification_access_ip_define.h b/FreeRTOS/Test/CBMC/include/aws_freertos_ip_verification_access_ip_define.h index 22434a91c..f238af08d 100644 --- a/FreeRTOS/Test/CBMC/include/aws_freertos_ip_verification_access_ip_define.h +++ b/FreeRTOS/Test/CBMC/include/aws_freertos_ip_verification_access_ip_define.h @@ -1,3 +1,5 @@ -eFrameProcessingResult_t publicProcessIPPacket( IPPacket_t * const pxIPPacket, NetworkBufferDescriptor_t * const pxNetworkBuffer ) { - prvProcessIPPacket(pxIPPacket, pxNetworkBuffer); +eFrameProcessingResult_t publicProcessIPPacket( IPPacket_t * const pxIPPacket, + NetworkBufferDescriptor_t * const pxNetworkBuffer ) +{ + prvProcessIPPacket( pxIPPacket, pxNetworkBuffer ); } |