From a97520785a8d37b0a0972f24c1e93aa365f29669 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 11 Oct 2013 21:17:01 +0200
Subject: [PATCH] Fixed minisat include

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

diff --git a/libs/ezsat/ezminisat.cc b/libs/ezsat/ezminisat.cc
index a9f680b98..27fe36c65 100644
--- a/libs/ezsat/ezminisat.cc
+++ b/libs/ezsat/ezminisat.cc
@@ -26,7 +26,7 @@
 #include <signal.h>
 #include <cinttypes>
 
-#include "minisat/core/Solver.h"
+#include <minisat/core/Solver.h>
 
 ezMiniSAT::ezMiniSAT() : minisatSolver(NULL)
 {
-- 
2.30.2