sci-mathematics/eprover/files/eprover-3.0.03-unistd.patch


1
2
3
4
5
6
7
8
9
10
11

--- a/./CONTRIB/picosat-965/picosat.c
+++ b/./CONTRIB/picosat-965/picosat.c
@@ -8147,7 +8147,7 @@ picosat_stats (PS * ps)
 #ifndef NGETRUSAGE
 #include <sys/time.h>
 #include <sys/resource.h>
-#include <sys/unistd.h>
+#include <unistd.h>
 #endif
 
 double