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

diff --git a/src/sat/cryptominisat2/Clause.h b/src/sat/cryptominisat2/Clause.h
index c7faf604762647d46848b4cb608b313ea9acdbe4..ec515fca93933baa385314d524763d3ed5b20c3f 100644 (file)
--- 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 0e6fa532fe67f40d375e7d251e49785ffcc6b5f9..c99107a6d56f9aeb184059bc4eb91ce917d6642d 100644 (file)
--- a/src/sat/cryptominisat2/VERSION
+++ b/src/sat/cryptominisat2/VERSION
@@ -1,2 +1,2 @@
 CryptoMiniSat
-GIT revision: fda5b5a9d05a6b2ddfa4659671d6232173c30e0e
+GIT revision: 8b7c29dd9b4650dcc40a7a522ac51137d2a017e5