summaryrefslogtreecommitdiff
path: root/libs/minisat/System.cc
diff options
context:
space:
mode:
Diffstat (limited to 'libs/minisat/System.cc')
-rw-r--r--libs/minisat/System.cc2
1 files changed, 1 insertions, 1 deletions
diff --git a/libs/minisat/System.cc b/libs/minisat/System.cc
index 1921a1d7..efbfb08e 100644
--- a/libs/minisat/System.cc
+++ b/libs/minisat/System.cc
@@ -29,7 +29,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
#include "System.h"
-#if defined(__linux__)
+#if defined(__unix__)
#include <stdlib.h>