Fixing a clang error related to 'unlink'.

b2aa245e · Alan Mishchenko · ada07311 · b2aa245e
Commit b2aa245e authored Oct 09, 2020 by Alan Mishchenko
Show whitespace changes
Inline Side-by-side

Showing with 3 additions and 0 deletions

src/base/io/io.c
+3 -0

No files found.
--- 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