diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-03-15 20:58:57 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-15 19:58:57 +0000 |
commit | 429514c9cb6d187adca027ffc7542cf35543e85d (patch) | |
tree | 9d9aab55577496739577036c5cc582598d395679 /src/theory/strings/strings_rewriter.cpp | |
parent | 5bbb45b820b9d695c29182f4dd2fc13fd9997e4b (diff) |
Replace HistogramStat by IntegralHistogramStat (#6126)
This PR uses IntegralHistogramStat instead of HistogramStat when appropriate, that is everywhere.
Diffstat (limited to 'src/theory/strings/strings_rewriter.cpp')
-rw-r--r-- | src/theory/strings/strings_rewriter.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/strings/strings_rewriter.cpp b/src/theory/strings/strings_rewriter.cpp index 8e5416629..33e7cd895 100644 --- a/src/theory/strings/strings_rewriter.cpp +++ b/src/theory/strings/strings_rewriter.cpp @@ -25,7 +25,7 @@ namespace CVC4 { namespace theory { namespace strings { -StringsRewriter::StringsRewriter(HistogramStat<Rewrite>* statistics) +StringsRewriter::StringsRewriter(IntegralHistogramStat<Rewrite>* statistics) : SequencesRewriter(statistics) { } |