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 5559d753d468855b4f0517fc60d575005c102d1e..c5044d22d7cc871f837d4fcda560653b1af2d37e 100644 (file)
--- 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 73607d7ac217d036759e27c68628c565e0318c22..841cccb8ed32d55bac9d56c21ae3cf7f380fba2a 100644 (file)
--- 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: