blob: 49ef86c886eeabc7e7ef42781bdb532c6eb488f1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
Upstream-Issue: https://github.com/ContinuumIO/pycosat/pull/29
--- a/picosat.c
+++ b/picosat.c
@@ -8147,7 +8147,7 @@
#ifndef NGETRUSAGE
#include <sys/time.h>
#include <sys/resource.h>
-#include <sys/unistd.h>
+#include <unistd.h>
#endif
double
|