From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 13 Dec 2013 23:25:36 +0000 (-0500)
Subject: Fix link error when using clang.
X-Git-Tag: cvc5-1.0.0~6987^2~35
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=53d94bef835fbb0cf7d336460318e3a443fa321d;p=cvc5.git

Fix link error when using clang.
---

diff --git a/src/util/chain.h b/src/util/chain.h
index 2e9cf7bf6..e9216724e 100644
--- a/src/util/chain.h
+++ b/src/util/chain.h
@@ -26,7 +26,7 @@
 namespace CVC4 {
 
 /** A class to represent a chained, built-in operator. */
-class Chain {
+class CVC4_PUBLIC Chain {
   Kind d_kind;
 public:
   explicit Chain(Kind k) : d_kind(k) { }
@@ -35,11 +35,12 @@ public:
   Kind getOperator() const { return d_kind; }
 };/* class Chain */
 
+inline std::ostream& operator<<(std::ostream& out, const Chain& ch) CVC4_PUBLIC;
 inline std::ostream& operator<<(std::ostream& out, const Chain& ch) {
   return out << ch.getOperator();
 }
 
-struct ChainHashFunction {
+struct CVC4_PUBLIC ChainHashFunction {
   size_t operator()(const Chain& ch) const {
     return kind::KindHashFunction()(ch.getOperator());
   }