diff --git a/FreeRTOS-Plus/Test/CBMC/patches/0002-Change-FreeRTOS_IP_Private.h-union-to-struct.patch b/FreeRTOS-Plus/Test/CBMC/patches/0002-Change-FreeRTOS_IP_Private.h-union-to-struct.patch deleted file mode 100644 index 8e096a5a92..0000000000 --- a/FreeRTOS-Plus/Test/CBMC/patches/0002-Change-FreeRTOS_IP_Private.h-union-to-struct.patch +++ /dev/null @@ -1,26 +0,0 @@ -From b7fbcc3979324838ec240b28717bfd7918bbb388 Mon Sep 17 00:00:00 2001 -From: Kareem Khazem -Date: Thu, 31 Jan 2019 15:07:52 -0800 -Subject: [PATCH 2/4] Change FreeRTOS_IP_Private.h union to struct - -This patch should be removed soon: It is for a CBMC issue being fixed now. ---- - libraries/freertos_plus/standard/freertos_plus_tcp/include/FreeRTOS_IP_Private.h | 2 +- - 1 file changed, 1 insertion(+), 1 deletion(-) - -diff --git a/FreeRTOS-Plus/Source/FreeRTOS-Plus-TCP/include/FreeRTOS_IP_Private.h b/FreeRTOS-Plus/Source/FreeRTOS-Plus-TCP/include/FreeRTOS_IP_Private.h -index 6006f89f0..d1a0cf898 100644 ---- a/FreeRTOS-Plus/Source/FreeRTOS-Plus-TCP/include/FreeRTOS_IP_Private.h -+++ b/FreeRTOS-Plus/Source/FreeRTOS-Plus-TCP/include/FreeRTOS_IP_Private.h -@@ -643,7 +643,7 @@ typedef struct XSOCKET - /* Before accessing any member of this structure, it should be confirmed */ - /* that the protocol corresponds with the type of structure */ - -- union -+ struct - { - IPUDPSocket_t xUDP; - #if( ipconfigUSE_TCP == 1 ) --- -2.21.0 - diff --git a/FreeRTOS/Test/CBMC/patches/0002-Change-FreeRTOS_IP_Private.h-union-to-struct.patch b/FreeRTOS/Test/CBMC/patches/0002-Change-FreeRTOS_IP_Private.h-union-to-struct.patch deleted file mode 100644 index 8e096a5a92..0000000000 --- a/FreeRTOS/Test/CBMC/patches/0002-Change-FreeRTOS_IP_Private.h-union-to-struct.patch +++ /dev/null @@ -1,26 +0,0 @@ -From b7fbcc3979324838ec240b28717bfd7918bbb388 Mon Sep 17 00:00:00 2001 -From: Kareem Khazem -Date: Thu, 31 Jan 2019 15:07:52 -0800 -Subject: [PATCH 2/4] Change FreeRTOS_IP_Private.h union to struct - -This patch should be removed soon: It is for a CBMC issue being fixed now. ---- - libraries/freertos_plus/standard/freertos_plus_tcp/include/FreeRTOS_IP_Private.h | 2 +- - 1 file changed, 1 insertion(+), 1 deletion(-) - -diff --git a/FreeRTOS-Plus/Source/FreeRTOS-Plus-TCP/include/FreeRTOS_IP_Private.h b/FreeRTOS-Plus/Source/FreeRTOS-Plus-TCP/include/FreeRTOS_IP_Private.h -index 6006f89f0..d1a0cf898 100644 ---- a/FreeRTOS-Plus/Source/FreeRTOS-Plus-TCP/include/FreeRTOS_IP_Private.h -+++ b/FreeRTOS-Plus/Source/FreeRTOS-Plus-TCP/include/FreeRTOS_IP_Private.h -@@ -643,7 +643,7 @@ typedef struct XSOCKET - /* Before accessing any member of this structure, it should be confirmed */ - /* that the protocol corresponds with the type of structure */ - -- union -+ struct - { - IPUDPSocket_t xUDP; - #if( ipconfigUSE_TCP == 1 ) --- -2.21.0 -