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(); }