]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commitdiff
Further updating of CryptoMiniSat2
authormsoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Fri, 2 Jul 2010 14:36:03 +0000 (14:36 +0000)
committermsoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Fri, 2 Jul 2010 14:36:03 +0000 (14:36 +0000)
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
src/sat/cryptominisat2/VERSION

index c7faf604762647d46848b4cb608b313ea9acdbe4..ec515fca93933baa385314d524763d3ed5b20c3f 100644 (file)
@@ -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
 
index 0e6fa532fe67f40d375e7d251e49785ffcc6b5f9..c99107a6d56f9aeb184059bc4eb91ce917d6642d 100644 (file)
@@ -1,2 +1,2 @@
 CryptoMiniSat
-GIT revision: fda5b5a9d05a6b2ddfa4659671d6232173c30e0e
+GIT revision: 8b7c29dd9b4650dcc40a7a522ac51137d2a017e5