From 3290a933b5e147559b5e6f0ee7b2f872ed387087 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 14 May 2017 14:09:42 -0700
Subject: [PATCH] remove spurious include file

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/util/small_object_allocator.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/util/small_object_allocator.cpp b/src/util/small_object_allocator.cpp
index 4ecd05116..ac2f64482 100644
--- a/src/util/small_object_allocator.cpp
+++ b/src/util/small_object_allocator.cpp
@@ -68,7 +68,6 @@ void small_object_allocator::reset() {
 
 #define MASK ((1 << PTR_ALIGNMENT) - 1)
 
-#include <windows.h>
 
 void small_object_allocator::deallocate(size_t size, void * p) {
     if (size == 0) return;