mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 01:24:08 +00:00
Code Activity

adding back dropped return statement (#4611)

Browse source
This commit is contained in:
Margus Veanes 2020-08-01 18:59:47 -07:00 committed by GitHub
parent 06f34bd42b
commit 7fa5b31fe1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/smt/seq_regex.cpp
View file

@ -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);