diff options
Diffstat (limited to 'src/preprocessing/util/ite_utilities.h')
| -rw-r--r-- | src/preprocessing/util/ite_utilities.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/preprocessing/util/ite_utilities.h b/src/preprocessing/util/ite_utilities.h index 856e3be58..90c240478 100644 --- a/src/preprocessing/util/ite_utilities.h +++ b/src/preprocessing/util/ite_utilities.h @@ -306,7 +306,7 @@ class ITESimplifier IntStat d_specialEqualityFolds; IntStat d_simpITEVisits; - HistogramStat<uint32_t> d_inSmaller; + IntegralHistogramStat<uint32_t> d_inSmaller; Statistics(); ~Statistics(); |