diff options
Diffstat (limited to 'src/util/subrange_bound.h')
-rw-r--r-- | src/util/subrange_bound.h | 5 |
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(); |