From 91c336d7eeea124836c908195b91d634f23cb476 Mon Sep 17 00:00:00 2001
From: Murphy Berzish <murphy.berzish@gmail.com>
Date: Sat, 6 Aug 2016 15:32:37 -0400
Subject: [PATCH] fix erroneous vector double-insert in
 theory_str::group_terms_by_eqc()

---
 src/smt/theory_str.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/smt/theory_str.cpp b/src/smt/theory_str.cpp
index 78ab30dd7..296041a39 100644
--- a/src/smt/theory_str.cpp
+++ b/src/smt/theory_str.cpp
@@ -1588,7 +1588,6 @@ void theory_str::group_terms_by_eqc(expr * n, std::set<expr*> & concats, std::se
             } else {
                 concats.insert(simConcat);
             }
-            concats.insert(ast);
         } else if (is_string(eqcNode)) {
             consts.insert(ast);
         } else {