Remove TCP includes

moninom1 · Aug 23, 2024 · 58f74aa · 58f74aa
1 parent a7371b5
commit 58f74aa
Showing 1 changed file with 0 additions and 10 deletions.
diff --git a/FreeRTOS/Test/CBMC/include/cbmc.h b/FreeRTOS/Test/CBMC/include/cbmc.h
@@ -33,16 +33,6 @@
 #include "task.h"
 #include "semphr.h"
 
-/* / * FreeRTOS+TCP includes. * / */
-/* #include "FreeRTOS_IP.h" */
-/* #include "FreeRTOS_Sockets.h" */
-/* #include "FreeRTOS_IP_Private.h" */
-/* #include "FreeRTOS_UDP_IP.h" */
-/* #include "FreeRTOS_DNS.h" */
-/* #include "FreeRTOS_DHCP.h" */
-/* #include "NetworkBufferManagement.h" */
-/* #include "NetworkInterface.h" */
-
 /*
  * CBMC models a pointer as an object id and an offset into that
  * object.  The top bits of a pointer encode the object id and the