diff options
Diffstat (limited to 'src/theory/strings/sequences_rewriter.cpp')
-rw-r--r-- | src/theory/strings/sequences_rewriter.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/strings/sequences_rewriter.cpp b/src/theory/strings/sequences_rewriter.cpp index b19e98bbd..869c40ad8 100644 --- a/src/theory/strings/sequences_rewriter.cpp +++ b/src/theory/strings/sequences_rewriter.cpp @@ -33,7 +33,7 @@ namespace CVC4 { namespace theory { namespace strings { -SequencesRewriter::SequencesRewriter(HistogramStat<Rewrite>* statistics) +SequencesRewriter::SequencesRewriter(IntegralHistogramStat<Rewrite>* statistics) : d_statistics(statistics), d_stringsEntail(*this) { } |