diff options
Diffstat (limited to 'src/util/statistics.cpp')
| -rw-r--r-- | src/util/statistics.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/util/statistics.cpp b/src/util/statistics.cpp index 494a70e6c..7053e9ea0 100644 --- a/src/util/statistics.cpp +++ b/src/util/statistics.cpp @@ -95,7 +95,7 @@ StatisticsBase::const_iterator StatisticsBase::end() const { } void StatisticsBase::flushInformation(std::ostream &out) const { -#ifdef CVC4_STATISTICS_ON +#ifdef CVC5_STATISTICS_ON for(StatSet::iterator i = d_stats.begin(); i != d_stats.end(); ++i) { @@ -104,11 +104,11 @@ void StatisticsBase::flushInformation(std::ostream &out) const { s->flushInformation(out); out << std::endl; } -#endif /* CVC4_STATISTICS_ON */ +#endif /* CVC5_STATISTICS_ON */ } void StatisticsBase::safeFlushInformation(int fd) const { -#ifdef CVC4_STATISTICS_ON +#ifdef CVC5_STATISTICS_ON for (StatSet::iterator i = d_stats.begin(); i != d_stats.end(); ++i) { Stat* s = *i; safe_print(fd, s->getName()); @@ -116,7 +116,7 @@ void StatisticsBase::safeFlushInformation(int fd) const { s->safeFlushInformation(fd); safe_print(fd, "\n"); } -#endif /* CVC4_STATISTICS_ON */ +#endif /* CVC5_STATISTICS_ON */ } SExpr StatisticsBase::getStatistic(std::string name) const { |