diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-03-16 14:14:33 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-16 19:14:33 +0000 |
| commit | 8c11c5b2683aa13160447aef302d82115a08081a (patch) | |
| tree | c3f878b7d0e4e221be7fb710dd92df5990adc37a /src/theory/strings/inference_manager.cpp | |
| parent | d6890791897ddebf1212d3e3147bf7aeb2415b27 (diff) | |
Further standardization of strings statistics (#6128)
Also eliminates use of raw output channel in strings.
Diffstat (limited to 'src/theory/strings/inference_manager.cpp')
| -rw-r--r-- | src/theory/strings/inference_manager.cpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/theory/strings/inference_manager.cpp b/src/theory/strings/inference_manager.cpp index 0daaac29b..0d4839238 100644 --- a/src/theory/strings/inference_manager.cpp +++ b/src/theory/strings/inference_manager.cpp @@ -372,8 +372,6 @@ TrustNode InferenceManager::processLemma(InferInfo& ii, LemmaProperty& p) << ii.getId() << std::endl; Trace("strings-lemma") << "Strings::Lemma: " << tlem.getNode() << " by " << ii.getId() << std::endl; - ++(d_statistics.d_lemmasInfer); - return tlem; } |