1 files changed, 7 insertions, 5 deletions
diff --git a/src/util/tuple.h b/src/util/tuple.h
index b3c50b358..d77d7bf97 100644
--- a/src/util/tuple.h
+++ b/src/util/tuple.h
@@ -25,7 +25,8 @@
 
 namespace CVC4 {
 
-class CVC4_PUBLIC TupleUpdate {
+class TupleUpdate
+{
   unsigned d_index;
 
  public:
@@ -33,15 +34,16 @@ class CVC4_PUBLIC TupleUpdate {
   unsigned getIndex() const { return d_index; }
   bool operator==(const TupleUpdate& t) const { return d_index == t.d_index; }
   bool operator!=(const TupleUpdate& t) const { return d_index != t.d_index; }
-};/* class TupleUpdate */
+}; /* class TupleUpdate */
 
-struct CVC4_PUBLIC TupleUpdateHashFunction {
+struct TupleUpdateHashFunction
+{
   inline size_t operator()(const TupleUpdate& t) const {
     return t.getIndex();
   }
-};/* struct TupleUpdateHashFunction */
+}; /* struct TupleUpdateHashFunction */
 
-std::ostream& operator<<(std::ostream& out, const TupleUpdate& t) CVC4_PUBLIC;
+std::ostream& operator<<(std::ostream& out, const TupleUpdate& t);
 
 inline std::ostream& operator<<(std::ostream& out, const TupleUpdate& t) {
   return out << "[" << t.getIndex() << "]";