diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/theory/strings/theory_strings.cpp | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/theory/strings/theory_strings.cpp b/src/theory/strings/theory_strings.cpp index 937dacb90..87283f2ef 100644 --- a/src/theory/strings/theory_strings.cpp +++ b/src/theory/strings/theory_strings.cpp @@ -2702,11 +2702,11 @@ int TheoryStrings::getMaxPossibleLength( Node x ) { // Stats TheoryStrings::Statistics::Statistics(): - d_splits("StringsEngine::NumOfSplits", 0), - d_deq_splits("StringsEngine::NumOfDiseqSplits", 0), - d_loop_lemmas("StringsEngine::NumOfLoops", 0), - d_unroll_lemmas("StringsEngine::NumOfUnrolls", 0), - d_new_skolems("StringsEngine::NumOfNewSkolems", 0) + d_splits("TheoryStrings::NumOfSplits", 0), + d_deq_splits("TheoryStrings::NumOfDiseqSplits", 0), + d_loop_lemmas("TheoryStrings::NumOfLoops", 0), + d_unroll_lemmas("TheoryStrings::NumOfUnrolls", 0), + d_new_skolems("TheoryStrings::NumOfNewSkolems", 0) { StatisticsRegistry::registerStat(&d_splits); StatisticsRegistry::registerStat(&d_deq_splits); |