diff options
author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-01-30 15:18:09 -0600 |
---|---|---|
committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-01-30 15:18:09 -0600 |
commit | e3caf8a0905ef8f5dcabf57f7f4af8fb1cb2b829 (patch) | |
tree | 0e22d96ec54a9a776c69b53b6b2124bbca252dfe /src | |
parent | 474e62e6c2d8a9ef239944e856ae6ba3f598eba3 (diff) |
change string stats text names
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); |