From e3caf8a0905ef8f5dcabf57f7f4af8fb1cb2b829 Mon Sep 17 00:00:00 2001 From: Tianyi Liang Date: Thu, 30 Jan 2014 15:18:09 -0600 Subject: [PATCH] change string stats text names --- src/theory/strings/theory_strings.cpp | 10 +++++----- 1 file 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); -- 2.30.2