From: Tianyi Liang <tianyi-liang@uiowa.edu>
Date: Thu, 30 Jan 2014 21:26:50 +0000 (-0600)
Subject: another name change
X-Git-Tag: cvc5-1.0.0~7112
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=39c6e45737aacc8648d866aa436e5cf7198ecce2;p=cvc5.git

another name change
---

diff --git a/src/theory/strings/theory_strings.h b/src/theory/strings/theory_strings.h
index cd147a591..b7a660999 100644
--- a/src/theory/strings/theory_strings.h
+++ b/src/theory/strings/theory_strings.h
@@ -339,7 +339,7 @@ public:
     IntStat d_new_skolems;
     Statistics();
     ~Statistics();
-  };/* class QuantifiersEngine::Statistics */
+  };/* class TheoryStrings::Statistics */
   Statistics d_statistics;
 };/* class TheoryStrings */