From 12dd6d786b238d35ddcebb412d51516aec7a56b1 Mon Sep 17 00:00:00 2001
From: Murphy Berzish <murphy.berzish@gmail.com>
Date: Thu, 27 Apr 2017 21:24:40 -0400
Subject: [PATCH] remove redundant is_seq() check

---
 src/ast/seq_decl_plugin.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ast/seq_decl_plugin.h b/src/ast/seq_decl_plugin.h
index 833455ff4..76b5ebe31 100644
--- a/src/ast/seq_decl_plugin.h
+++ b/src/ast/seq_decl_plugin.h
@@ -275,7 +275,7 @@ public:
 
         bool is_string_term(expr const * n) const {
             sort * s = get_sort(n);
-            return (u.is_seq(s) && u.is_string(s));
+            return u.is_string(s);
         }
 
         bool is_non_string_sequence(expr const * n) const {