From acb76e1618b7fdf49201131c0bc662ccd43eeae8 Mon Sep 17 00:00:00 2001
From: msoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Date: Fri, 2 Jul 2010 14:36:03 +0000
Subject: [PATCH] Further updating of CryptoMiniSat2

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@909 e59a4935-1847-0410-ae03-e826735625c1
---
 src/sat/cryptominisat2/Clause.h | 1 -
 src/sat/cryptominisat2/VERSION  | 2 +-
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/sat/cryptominisat2/Clause.h b/src/sat/cryptominisat2/Clause.h
index c7faf60..ec515fc 100644
--- a/src/sat/cryptominisat2/Clause.h
+++ b/src/sat/cryptominisat2/Clause.h
@@ -24,7 +24,6 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
 #ifdef _MSC_VER
 #include <msvc/stdint.h>
 #else
-#include "SmallPtr.h"
 #include <stdint.h>
 #endif //_MSC_VER
 
diff --git a/src/sat/cryptominisat2/VERSION b/src/sat/cryptominisat2/VERSION
index 0e6fa53..c99107a 100644
--- a/src/sat/cryptominisat2/VERSION
+++ b/src/sat/cryptominisat2/VERSION
@@ -1,2 +1,2 @@
 CryptoMiniSat
-GIT revision: fda5b5a9d05a6b2ddfa4659671d6232173c30e0e
+GIT revision: 8b7c29dd9b4650dcc40a7a522ac51137d2a017e5
-- 
2.47.3