From: Tianyi Liang <tianyi-liang@uiowa.edu>
Date: Thu, 30 Jan 2014 21:18:09 +0000 (-0600)
Subject: change string stats text names
X-Git-Tag: cvc5-1.0.0~7113
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e3caf8a0905ef8f5dcabf57f7f4af8fb1cb2b829;p=cvc5.git

change string stats text names
---

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);