From c8f205e9eafbb9b6df3c6624405b36dec5723c38 Mon Sep 17 00:00:00 2001
From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Wed, 22 Jan 2020 08:36:22 -0800
Subject: fix

---
 src/theory/strings/skolem_cache.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/theory/strings/skolem_cache.cpp b/src/theory/strings/skolem_cache.cpp
index 6cf1606a8..7efedc310 100644
--- a/src/theory/strings/skolem_cache.cpp
+++ b/src/theory/strings/skolem_cache.cpp
@@ -122,7 +122,7 @@ SkolemCache::normalizeStringSkolem(SkolemId id, Node a, Node b, Node c)
         b = len;
         c = Node::null();
       }
-      else if (c.getKind() != REGEXP_CONCAT)
+      else if (c == nm->mkNode(STRING_TO_REGEXP, nm->mkConst(String(""))))
       {
         id = SK_SUFFIX_REM;
         b = nm->mkNode(MINUS, nm->mkNode(STRING_LENGTH, a), len);
-- 
cgit v1.2.3