From 40e410ee8e3df12fa0d6f789d86f5c5b5610f529 Mon Sep 17 00:00:00 2001
From: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com>
Date: Tue, 8 Sep 2020 12:15:59 -0700
Subject: [PATCH] Create winbase.h (#248)

---
 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 0000000000..c89d1caa5e
--- /dev/null
+++ b/FreeRTOS-Plus/Test/CBMC/windows2/winbase.h
@@ -0,0 +1 @@
+/* Empty file for CBMC. */