From 1ce122a0d6c77dfd451d7764b49b47d5c449f422 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@rwth-aachen.de>
Date: Wed, 24 May 2017 17:59:48 +0200
Subject: [PATCH] fixed compile issue related to ambiguous call of operator<<

---
 resources/3rdparty/gmm-5.0/include/gmm/gmm_interface.h | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/resources/3rdparty/gmm-5.0/include/gmm/gmm_interface.h b/resources/3rdparty/gmm-5.0/include/gmm/gmm_interface.h
index b1492a8f0..e887780ce 100644
--- a/resources/3rdparty/gmm-5.0/include/gmm/gmm_interface.h
+++ b/resources/3rdparty/gmm-5.0/include/gmm/gmm_interface.h
@@ -231,11 +231,10 @@ namespace gmm {
     static void resize(this_type &v, size_type n) { v.resize(n); }
   };
 }
-namespace std {
-  template <typename T> ostream &operator <<
-  (std::ostream &o, const vector<T>& m) { gmm::write(o,m); return o; }
-}
+
 namespace gmm {
+  template <typename T> std::ostream &operator <<
+  (std::ostream &o, const std::vector<T>& m) { gmm::write(o,m); return o; }
 
   template <typename T>
   inline size_type nnz(const std::vector<T>& l) { return l.size(); }