another name change

diff --git a/src/theory/strings/theory_strings.h b/src/theory/strings/theory_strings.h
index cd147a59138e0d91dbe73780fddffafef386a46c..b7a660999c08527e780b748f6bd0351e985e18c6 100644 (file)
--- 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 */