diff options
Diffstat (limited to 'src/util/stats_utils.h')
| -rw-r--r-- | src/util/stats_utils.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/util/stats_utils.h b/src/util/stats_utils.h index df692af1f..b38f7b641 100644 --- a/src/util/stats_utils.h +++ b/src/util/stats_utils.h @@ -21,6 +21,8 @@ #include <iosfwd> +#include "cvc4_export.h" + namespace CVC4 { namespace timer_stat_detail { @@ -28,7 +30,7 @@ struct duration; } std::ostream& operator<<(std::ostream& os, - const timer_stat_detail::duration& dur) CVC4_PUBLIC; + const timer_stat_detail::duration& dur) CVC4_EXPORT; } // namespace CVC4 |