From 708bd6807dd9f7333904932492447e0f4055df88 Mon Sep 17 00:00:00 2001
From: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
Date: Tue, 8 Sep 2020 11:36:03 -0700
Subject: Create winbase.h

---
 FreeRTOS-Plus/Test/CBMC/windows2/winbase.h | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 FreeRTOS-Plus/Test/CBMC/windows2/winbase.h

diff --git a/FreeRTOS-Plus/Test/CBMC/windows2/winbase.h b/FreeRTOS-Plus/Test/CBMC/windows2/winbase.h
new file mode 100644
index 000000000..c89d1caa5
--- /dev/null
+++ b/FreeRTOS-Plus/Test/CBMC/windows2/winbase.h
@@ -0,0 +1 @@
+/* Empty file for CBMC. */
-- 
cgit v1.2.1