Merge pull request #756 from orlitzky/fix-unistd-include

src/mpicosat/mpicosat.c: fix path to unistd.h
msoos · Jun 12, 2024 · 03d246e · 03d246e
2 parents b253b66 + 7026dbc
commit 03d246e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/mpicosat/mpicosat.c b/src/mpicosat/mpicosat.c
@@ -8148,7 +8148,7 @@ picosat_stats (PS * ps)
 #else
 #include <sys/time.h>
 #include <sys/resource.h>
-#include <sys/unistd.h>
+#include <unistd.h>
 #endif
 
 double