From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Mon, 5 Mar 2018 20:59:23 +0000 (-0800)
Subject: Add CVC4_PUBLIC keyword to overloads of << for Expr containers. (#1644)
X-Git-Tag: cvc5-1.0.0~5255
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d1aa4ae101987093a06208650e2ea4878f7437ca;p=cvc5.git

Add CVC4_PUBLIC keyword to overloads of << for Expr containers. (#1644)
---

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 {