diff options
Diffstat (limited to 'src/util/stats_histogram.h')
| -rw-r--r-- | src/util/stats_histogram.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util/stats_histogram.h b/src/util/stats_histogram.h index ba2135b58..e9968dd34 100644 --- a/src/util/stats_histogram.h +++ b/src/util/stats_histogram.h @@ -97,7 +97,7 @@ class IntegralHistogramStat : public Stat IntegralHistogramStat& operator<<(Integral val) { - if (CVC4_USE_STATISTICS) + if (CVC5_USE_STATISTICS) { int64_t v = static_cast<int64_t>(val); if (d_hist.empty()) |