Merge pull request diffblue#1395 from diffblue/msvc_unistd

Visual Studio doesn't have unistd.h; signal.h isn't needed for the MSVC build
smowton · Sep 16, 2017 · 9497b02 · 9497b02
2 parents 58b75cf + 237b31a
commit 9497b02
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/solvers/sat/satcheck_minisat2.cpp b/src/solvers/sat/satcheck_minisat2.cpp
@@ -10,10 +10,9 @@ Author: Daniel Kroening, [email protected]
 
 #ifndef _MSC_VER
 #include <inttypes.h>
-#endif
-
 #include <signal.h>
 #include <unistd.h>
+#endif
 
 #include <cassert>
 #include <stack>