From 033f4b92c11ee09a5bb0eda3e497bc6d62d55034 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Fri, 10 Aug 2012 17:10:52 -0600
Subject: [PATCH] BR cryptominisat-devel, and fix cryptominisat header path.

---
 stp-unbundle.patch | 2 +-
 stp.spec           | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/stp-unbundle.patch b/stp-unbundle.patch
index 5a34543..5c7a525 100644
--- a/stp-unbundle.patch
+++ b/stp-unbundle.patch
@@ -61,7 +61,7 @@
  
 -#include "cryptominisat2/Solver.h"
 -#include "cryptominisat2/SolverTypes.h"
-+#include <cmsat/Solver/Solver.h>
++#include <cmsat/Solver.h>
  
  namespace BEEV
  {
diff --git a/stp.spec b/stp.spec
index 913501c..f83e31e 100644
--- a/stp.spec
+++ b/stp.spec
@@ -28,6 +28,7 @@ Patch1:		stp-warning.patch
 
 BuildRequires:	bison
 BuildRequires:	boost-devel
+BuildRequires:  cryptominisat-devel
 BuildRequires:	flex
 BuildRequires:	time
 BuildRequires:	zlib-devel