From 237b31a4d3d4c05db9b04280ab198b27d84342a0 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <kroening@cs.ox.ac.uk>
Date: Sat, 16 Sep 2017 09:23:12 +0100
Subject: [PATCH] Visual Studio doesn't have unistd.h; signal.h isn't needed
 for the MSVC build

---
 src/solvers/sat/satcheck_minisat2.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/solvers/sat/satcheck_minisat2.cpp b/src/solvers/sat/satcheck_minisat2.cpp
index 9e3faa2e19f..3f7ecc5c59b 100644
--- a/src/solvers/sat/satcheck_minisat2.cpp
+++ b/src/solvers/sat/satcheck_minisat2.cpp
@@ -10,10 +10,9 @@ Author: Daniel Kroening, kroening@kroening.com
 
 #ifndef _MSC_VER
 #include <inttypes.h>
-#endif
-
 #include <signal.h>
 #include <unistd.h>
+#endif
 
 #include <cassert>
 #include <stack>