adding back dropped return statement (#4611)

Z3Prover · Aug 2, 2020 · 7fa5b31 · 7fa5b31
1 parent 06f34bd
commit 7fa5b31
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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);