From 4cd225f7ee98b90400c0513d822b19f41c2403e4 Mon Sep 17 00:00:00 2001 From: msoos Date: Tue, 1 Dec 2009 22:33:02 +0000 Subject: [PATCH] Reverting commit no r435. Adding 'using namespace std' is dangerous as sort() is defined by both the std and the mtl libraries. git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@438 e59a4935-1847-0410-ae03-e826735625c1 --- src/sat/cryptominisat/Solver.cpp | 1 - src/sat/cryptominisat2/Solver.cpp | 3 +-- 2 files changed, 1 insertion(+), 3 deletions(-) diff --git a/src/sat/cryptominisat/Solver.cpp b/src/sat/cryptominisat/Solver.cpp index c5044d2..5559d75 100644 --- a/src/sat/cryptominisat/Solver.cpp +++ b/src/sat/cryptominisat/Solver.cpp @@ -28,7 +28,6 @@ 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 841cccb..73607d7 100644 --- a/src/sat/cryptominisat2/Solver.cpp +++ b/src/sat/cryptominisat2/Solver.cpp @@ -39,8 +39,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA namespace MINISAT { - using namespace std; - using namespace MINISAT; +using namespace MINISAT; //================================================================================================= // Constructor/Destructor: -- 2.47.3