mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
[c++ api] add const (#5195)
This commit is contained in:
parent
e67b9ebcf7
commit
f8228ff50e
|
@ -1297,7 +1297,7 @@ namespace z3 {
|
|||
check_error();
|
||||
return expr(ctx(), r);
|
||||
}
|
||||
expr contains(expr const& s) {
|
||||
expr contains(expr const& s) const {
|
||||
check_context(*this, s);
|
||||
Z3_ast r = Z3_mk_seq_contains(ctx(), *this, s);
|
||||
check_error();
|
||||
|
|
Loading…
Reference in a new issue