From b2aa245eaacb47837d9a9d63b231903888adfe13 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 9 Oct 2020 23:28:23 -0700
Subject: Fixing a clang error related to 'unlink'.

---
 src/base/io/io.c | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/base/io/io.c')

diff --git a/src/base/io/io.c b/src/base/io/io.c
index c2363cb5..63f1b7d1 100644
--- a/src/base/io/io.c
+++ b/src/base/io/io.c
@@ -25,7 +25,10 @@
 #include "sat/bmc/bmc.h"
 
 #ifdef WIN32
+#include <process.h> 
 #define unlink _unlink
+#else
+#include <unistd.h>
 #endif
 
 ABC_NAMESPACE_IMPL_START
-- 
cgit v1.2.3