From 31267a1ae8d670c4b8749fc55b07c01d9285a488 Mon Sep 17 00:00:00 2001
From: William Speirs <bill.speirs@gmail.com>
Date: Thu, 16 Oct 2014 12:06:54 -0400
Subject: Header changes so it will compile on VS

---
 libs/ezsat/ezminisat.cc | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'libs/ezsat/ezminisat.cc')

diff --git a/libs/ezsat/ezminisat.cc b/libs/ezsat/ezminisat.cc
index b996d4a3..dee82a8d 100644
--- a/libs/ezsat/ezminisat.cc
+++ b/libs/ezsat/ezminisat.cc
@@ -27,7 +27,10 @@
 #include <stdint.h>
 #include <csignal>
 #include <cinttypes>
-#include <unistd.h>
+
+#ifndef _WIN32
+#  include <unistd.h>
+#endif
 
 #include "../minisat/Solver.h"
 #include "../minisat/SimpSolver.h"
-- 
cgit v1.2.3