From d1aa4ae101987093a06208650e2ea4878f7437ca Mon Sep 17 00:00:00 2001
From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Mon, 5 Mar 2018 12:59:23 -0800
Subject: Add CVC4_PUBLIC keyword to overloads of << for Expr containers.
 (#1644)

---
 src/expr/expr_template.h | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)

diff --git a/src/expr/expr_template.h b/src/expr/expr_template.h
index f406981a8..8cc87cfff 100644
--- a/src/expr/expr_template.h
+++ b/src/expr/expr_template.h
@@ -151,7 +151,8 @@ std::ostream& operator<<(std::ostream& out, const Expr& e) CVC4_PUBLIC;
  * @param container the vector of expressions to output to the stream
  * @return the stream
  */
-std::ostream& operator<<(std::ostream& out, const std::vector<Expr>& container);
+std::ostream& operator<<(std::ostream& out,
+                         const std::vector<Expr>& container) CVC4_PUBLIC;
 
 /**
  * Serialize a set of expressions to the given stream.
@@ -160,7 +161,8 @@ std::ostream& operator<<(std::ostream& out, const std::vector<Expr>& container);
  * @param container the set of expressions to output to the stream
  * @return the stream
  */
-std::ostream& operator<<(std::ostream& out, const std::set<Expr>& container);
+std::ostream& operator<<(std::ostream& out,
+                         const std::set<Expr>& container) CVC4_PUBLIC;
 
 /**
  * Serialize an unordered_set of expressions to the given stream.
@@ -171,7 +173,7 @@ std::ostream& operator<<(std::ostream& out, const std::set<Expr>& container);
  */
 std::ostream& operator<<(
     std::ostream& out,
-    const std::unordered_set<Expr, ExprHashFunction>& container);
+    const std::unordered_set<Expr, ExprHashFunction>& container) CVC4_PUBLIC;
 
 /**
  * Serialize a map of expressions to the given stream.
@@ -181,7 +183,8 @@ std::ostream& operator<<(
  * @return the stream
  */
 template <typename V>
-std::ostream& operator<<(std::ostream& out, const std::map<Expr, V>& container);
+std::ostream& operator<<(std::ostream& out,
+                         const std::map<Expr, V>& container) CVC4_PUBLIC;
 
 /**
  * Serialize an unordered_map of expressions to the given stream.
@@ -193,7 +196,7 @@ std::ostream& operator<<(std::ostream& out, const std::map<Expr, V>& container);
 template <typename V>
 std::ostream& operator<<(
     std::ostream& out,
-    const std::unordered_map<Expr, V, ExprHashFunction>& container);
+    const std::unordered_map<Expr, V, ExprHashFunction>& container) CVC4_PUBLIC;
 
 // for hash_maps, hash_sets..
 struct ExprHashFunction {
-- 
cgit v1.2.3