1 files changed, 4 insertions, 1 deletions
diff --git a/src/util/subrange_bound.h b/src/util/subrange_bound.h
index fc6a259b4..0c84b214e 100644
--- a/src/util/subrange_bound.h
+++ b/src/util/subrange_bound.h
@@ -33,7 +33,7 @@ namespace CVC4 {
  * an infinite bound).  For example, the CVC language subrange [-5.._]
  * has a lower bound of -5 and an infinite upper bound.
  */
-class SubrangeBound {
+class CVC4_PUBLIC SubrangeBound {
   bool d_nobound;
   Integer d_bound;
 
@@ -79,6 +79,9 @@ public:
 };/* class SubrangeBound */
 
 inline std::ostream&
+operator<<(std::ostream& out, const SubrangeBound& bound) throw() CVC4_PUBLIC;
+
+inline std::ostream&
 operator<<(std::ostream& out, const SubrangeBound& bound) throw() {
   if(bound.hasBound()) {
     out << bound.getBound();