projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 1247f99)
merging...
authorTianyi Liang <tianyi-liang@uiowa.edu>
Mon, 9 Jun 2014 20:36:36 +0000 (15:36 -0500)
committerTianyi Liang <tianyi-liang@uiowa.edu>
Thu, 24 Jul 2014 16:10:52 +0000 (11:10 -0500)
src/theory/strings/theory_strings.cpp patch | blob | history

diff --git a/src/theory/strings/theory_strings.cpp b/src/theory/strings/theory_strings.cpp
index 607b01392df91eea9e7d9b92ca53d32736b28b56..2856ce1e09159bcce72992b9d7a477771454848c 100644 (file)
--- 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