From 7fa5b31fe1e3fdc2b12cdbb46173b1f66b29d761 Mon Sep 17 00:00:00 2001
From: Margus Veanes <veanes@users.noreply.github.com>
Date: Sat, 1 Aug 2020 18:59:47 -0700
Subject: [PATCH] adding back dropped return statement (#4611)

---
 src/smt/seq_regex.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smt/seq_regex.cpp b/src/smt/seq_regex.cpp
index 76ee4595d..1803f5537 100644
--- a/src/smt/seq_regex.cpp
+++ b/src/smt/seq_regex.cpp
@@ -159,7 +159,7 @@ namespace smt {
         expr_ref s_to_re(re().mk_to_re(s), m);
         expr_ref dotstar(re().mk_full_seq(m.get_sort(s_to_re)), m);
         if (m.is_value(s)) 
-            s_to_re;
+            return s_to_re;
         
         if (str().is_concat(s)) {
             expr_ref_vector es(m);