small syntax fix

Z3Prover · Sep 28, 2021 · beaa45e · beaa45e
1 parent 4ed7ff4
commit beaa45e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/smt/seq_regex.cpp b/src/smt/seq_regex.cpp
@@ -636,7 +636,7 @@ namespace smt {
                     // s[i..] in [] <==> false, also: s[i..] in () <==> false when |s|>i
                     re_to_accept.find(e) = m.mk_false();
                 }
-                else if (re().is_full_seq(e) || s_is_longer_than_i && re().is_dot_plus(e))
+                else if (re().is_full_seq(e) || (s_is_longer_than_i && re().is_dot_plus(e)))
                 {
                     // s[i..] in .* <==> true, also: s[i..] in .+ <==> true when |s|>i
                     re_to_accept.find(e) = m.mk_true();