diff options
Diffstat (limited to 'src/proof/sat_proof.h')
-rw-r--r-- | src/proof/sat_proof.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/proof/sat_proof.h b/src/proof/sat_proof.h index 0882ee2b6..d16f8259e 100644 --- a/src/proof/sat_proof.h +++ b/src/proof/sat_proof.h @@ -286,10 +286,10 @@ class TSatProof { IntStat d_numLearnedInProof; IntStat d_numLemmasInProof; AverageStat d_avgChainLength; - HistogramStat<uint64_t> d_resChainLengths; - HistogramStat<uint64_t> d_usedResChainLengths; - HistogramStat<uint64_t> d_clauseGlue; - HistogramStat<uint64_t> d_usedClauseGlue; + IntegralHistogramStat<uint64_t> d_resChainLengths; + IntegralHistogramStat<uint64_t> d_usedResChainLengths; + IntegralHistogramStat<uint64_t> d_clauseGlue; + IntegralHistogramStat<uint64_t> d_usedClauseGlue; Statistics(const std::string& name); ~Statistics(); }; |