1 files changed, 2 insertions, 4 deletions
diff --git a/src/util/command.h b/src/util/command.h
index 3d738ba45..501aa31e0 100644
--- a/src/util/command.h
+++ b/src/util/command.h
@@ -23,12 +23,10 @@ namespace CVC4 {
   class Expr;
 }/* CVC4 namespace */
 
-namespace std {
-  std::ostream& operator<<(std::ostream&, const CVC4::Command&) CVC4_PUBLIC;
-}
-
 namespace CVC4 {
 
+std::ostream& operator<<(std::ostream&, const CVC4::Command&) CVC4_PUBLIC;
+
 class CVC4_PUBLIC Command {
 public:
   virtual void invoke(CVC4::SmtEngine* smt_engine) = 0;