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

diff --git a/src/sat/cryptominisat/Solver.cpp b/src/sat/cryptominisat/Solver.cpp
index c5044d22d7cc871f837d4fcda560653b1af2d37e..5559d753d468855b4f0517fc60d575005c102d1e 100644 (file)
--- 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 841cccb8ed32d55bac9d56c21ae3cf7f380fba2a..73607d7ac217d036759e27c68628c565e0318c22 100644 (file)
--- 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: