diff --git a/utils/small_vector.hh b/utils/small_vector.hh index 42667a8bf5..c387f15a47 100644 --- a/utils/small_vector.hh +++ b/utils/small_vector.hh @@ -468,4 +468,19 @@ public: } }; +template +std::ostream& operator<<(std::ostream& os, const utils::small_vector& v) { + os << "{"; + bool first = true; + for (auto&& e : v) { + if (!first) { + os << ", "; + } + first = false; + os << e; + } + os << "}"; + return os; +} + }