From: Tianyi Liang <tianyi-liang@uiowa.edu>
Date: Mon, 9 Jun 2014 20:36:36 +0000 (-0500)
Subject: merging...
X-Git-Tag: cvc5-1.0.0~6688
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4e1e7cae681ac746a79505420dc0cc1febee226c;p=cvc5.git

merging...
---

diff --git a/src/theory/strings/theory_strings.cpp b/src/theory/strings/theory_strings.cpp
index 607b01392..2856ce1e0 100644
--- a/src/theory/strings/theory_strings.cpp
+++ b/src/theory/strings/theory_strings.cpp
@@ -3325,4 +3325,4 @@ TheoryStrings::Statistics::~Statistics(){
 
 }/* CVC4::theory::strings namespace */
 }/* CVC4::theory namespace */
-}/* CVC4 namespace */
+}/* CVC4 namespace */
\ No newline at end of file