From 6a4826c67650e455a5de21880acb5f38924f4e2e Mon Sep 17 00:00:00 2001 From: vijay_ganesh Date: Tue, 1 Dec 2009 21:17:04 +0000 Subject: [PATCH] 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 --- src/sat/cryptominisat/Solver.cpp | 1 + src/sat/cryptominisat2/Solver.cpp | 3 ++- 2 files changed, 3 insertions(+), 1 deletion(-) 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: -- 2.47.3