From: vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Date: Tue, 1 Dec 2009 21:17:04 +0000 (+0000)
Subject: fixed compile error on certain gcc versions. added using namespace std in Solver.cpp
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=6a4826c67650e455a5de21880acb5f38924f4e2e;p=francis%2Fstp.git

fixed compile error on certain gcc versions. added using namespace std in Solver.cpp

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@435 e59a4935-1847-0410-ae03-e826735625c1
---

diff --git a/src/sat/cryptominisat/Solver.cpp b/src/sat/cryptominisat/Solver.cpp
index 5559d75..c5044d2 100644
--- a/src/sat/cryptominisat/Solver.cpp
+++ b/src/sat/cryptominisat/Solver.cpp
@@ -28,6 +28,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
 
 namespace MINISAT
 {
+  using namespace std;
 
 //=================================================================================================
 // Constructor/Destructor:
diff --git a/src/sat/cryptominisat2/Solver.cpp b/src/sat/cryptominisat2/Solver.cpp
index 73607d7..841cccb 100644
--- a/src/sat/cryptominisat2/Solver.cpp
+++ b/src/sat/cryptominisat2/Solver.cpp
@@ -39,7 +39,8 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
 
 namespace MINISAT
 {
-using namespace MINISAT;
+  using namespace std;
+  using namespace MINISAT;
 
 //=================================================================================================
 // Constructor/Destructor: