From 6789e3002aadb78623b9205492d14bbafb3e39eb Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 25 Jul 2014 03:31:16 +0200
Subject: Removed Minisat dependency on zlib

---
 libs/ezsat/ezminisat.cc | 1 +
 1 file changed, 1 insertion(+)

(limited to 'libs/ezsat/ezminisat.cc')

diff --git a/libs/ezsat/ezminisat.cc b/libs/ezsat/ezminisat.cc
index 3f43f3ec..dc4e5d28 100644
--- a/libs/ezsat/ezminisat.cc
+++ b/libs/ezsat/ezminisat.cc
@@ -27,6 +27,7 @@
 #include <stdint.h>
 #include <csignal>
 #include <cinttypes>
+#include <unistd.h>
 
 #include "../minisat/Solver.h"
 #include "../minisat/SimpSolver.h"
-- 
cgit v1.2.3