From 756e21a81de1fe799df8189f77c4ea34399d2c8e Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 20 Aug 2023 15:50:59 +0700
Subject: [PATCH] Problem fix:  <unistd.h> is not properly defined.

---
 src/sat/cnf/cnfUtil.c | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/sat/cnf/cnfUtil.c b/src/sat/cnf/cnfUtil.c
index ac6d0ebf1..7886b8a3b 100644
--- 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