1 files changed, 5 insertions, 5 deletions
diff --git a/src/util/command.cpp b/src/util/command.cpp
index 961104585..190f794da 100644
--- a/src/util/command.cpp
+++ b/src/util/command.cpp
@@ -10,16 +10,16 @@
 #include "expr/expr.h"
 #include "util/result.h"
 
-namespace std {
+using namespace std;
+
+namespace CVC4 {
+
 ostream& operator<<(ostream& out, const CVC4::Command& c) {
   c.toString(out);
   return out;
 }
-}
-
-namespace CVC4 {
 
-EmptyCommand::EmptyCommand(std::string name) :
+EmptyCommand::EmptyCommand(string name) :
   d_name(name) {
 }