1 files changed, 13 insertions, 0 deletions
diff --git a/src/util/utility.h b/src/util/utility.h
index adfd2bc64..78a1e94f7 100644
--- a/src/util/utility.h
+++ b/src/util/utility.h
@@ -67,6 +67,19 @@ inline InputIterator find_if_unique(InputIterator first, InputIterator last, Pre
   return (match2 == last) ? match : last;
 }
 
+template <typename T>
+void container_to_stream(std::ostream& out, const T& container)
+{
+  out << "[";
+  bool is_first = true;
+  for (const auto& item : container)
+  {
+    out << (!is_first ? ", " : "") << item;
+    is_first = false;
+  }
+  out << "]";
+}
+
 }/* CVC4 namespace */
 
 #endif /* __CVC4__UTILITY_H */