From 00a8e3d6651916e7db3d658cc9411915fc81a287 Mon Sep 17 00:00:00 2001 From: msoos Date: Fri, 25 Dec 2009 19:56:50 +0000 Subject: [PATCH] Updating CMS2 to r686 git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@543 e59a4935-1847-0410-ae03-e826735625c1 --- src/sat/cryptominisat2/Solver.cpp | 2 +- src/sat/cryptominisat2/VERSION | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/sat/cryptominisat2/Solver.cpp b/src/sat/cryptominisat2/Solver.cpp index cdc0016..0748cfd 100644 --- a/src/sat/cryptominisat2/Solver.cpp +++ b/src/sat/cryptominisat2/Solver.cpp @@ -398,7 +398,7 @@ void Solver::cancelUntil(int level) for (Gaussian **gauss = &gauss_matrixes[0], **end= gauss + gauss_matrixes.size(); gauss != end; gauss++) (*gauss)->canceling(trail_lim[level]); - for (int c = trail.size()-1; c >= trail_lim[level]; c--) { + for (int c = trail.size()-1; c >= (int)trail_lim[level]; c--) { Var x = trail[c].var(); #ifdef VERBOSE_DEBUG cout << "Canceling var " << x+1 << " sublevel: " << c << endl; diff --git a/src/sat/cryptominisat2/VERSION b/src/sat/cryptominisat2/VERSION index 6421488..c006938 100644 --- a/src/sat/cryptominisat2/VERSION +++ b/src/sat/cryptominisat2/VERSION @@ -1,3 +1,3 @@ CryptoMiniSat -SVN revision: 685 -GIT revision: 4c03a6cf5a46679d144b5f68cb454c1f62b0c60c +SVN revision: 686 +GIT revision: 30b79471e85e0dde20440ea5c51c78246d14c8ab -- 2.47.3