Upstream-Issue: https://github.com/ContinuumIO/pycosat/pull/29 --- a/picosat.c +++ b/picosat.c @@ -8147,7 +8147,7 @@ #ifndef NGETRUSAGE #include #include -#include +#include #endif double