mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-03 12:51:22 +00:00
Code Activity

remove redundant is_seq() check

Browse source
This commit is contained in:
Murphy Berzish 2017-04-27 21:24:40 -04:00
parent 7811a91bad
commit 12dd6d786b
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ast/seq_decl_plugin.h
View file

@ -275,7 +275,7 @@ public:
bool is_string_term(expr const * n) const { bool is_string_term(expr const * n) const {
sort * s = get_sort(n); sort * s = get_sort(n);
return (u.is_seq(s) && u.is_string(s)); return u.is_string(s);
} }
bool is_non_string_sequence(expr const * n) const { bool is_non_string_sequence(expr const * n) const {