Problem fix: <unistd.h> is not properly defined.

756e21a8 · Alan Mishchenko · 0d579a43 · 756e21a8
Commit 756e21a8 authored Aug 20, 2023 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 6 additions and 1 deletions

src/sat/cnf/cnfUtil.c
+6 -1

No files found.
--- a/src/sat/cnf/cnfUtil.c
+++ b/src/sat/cnf/cnfUtil.c
@@ -23,13 +23,18 @@
 ABC_NAMESPACE_IMPL_START
+#ifdef _MSC_VER
+#define unlink _unlink
+#else
+#include <unistd.h>
+#endif
 #ifdef ABC_USE_PTHREADS
 #ifdef _WIN32
 #include "../lib/pthread.h"
 #else
 #include <pthread.h>
-#include <unistd.h>
 #endif
 #endif