projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: a9c903d)
add delayed length lemmas
authorTianyi Liang <tianyi-liang@uiowa.edu>
Mon, 9 Jun 2014 12:52:23 +0000 (07:52 -0500)
committerTianyi Liang <tianyi-liang@uiowa.edu>
Thu, 24 Jul 2014 16:10:40 +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 2856ce1e09159bcce72992b9d7a477771454848c..607b01392df91eea9e7d9b92ca53d32736b28b56 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 */
\ No newline at end of file
+}/* CVC4 namespace */