diff --git a/FreeRTOS/Test/CBMC/windows/WinBase.h b/FreeRTOS/Test/CBMC/windows/WinBase.h
deleted file mode 100644
index e69de29bb2..0000000000
diff --git a/FreeRTOS/Test/CBMC/windows/Windows.h b/FreeRTOS/Test/CBMC/windows/Windows.h
deleted file mode 100644
index e69de29bb2..0000000000