From 53d94bef835fbb0cf7d336460318e3a443fa321d Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 13 Dec 2013 18:25:36 -0500
Subject: [PATCH] Fix link error when using clang.

---
 src/util/chain.h | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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());
   }
-- 
2.30.2