mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
rename final to register_final since final is a specifier in C++11+ (#5172)
This commit is contained in:
parent
4625454a38
commit
973f79dc4d
|
@ -3705,7 +3705,7 @@ namespace z3 {
|
|||
for the propagator to implement branch and bound optimization.
|
||||
*/
|
||||
|
||||
void final(final_eh_t& f) {
|
||||
void register_final(final_eh_t& f) {
|
||||
assert(s);
|
||||
m_final_eh = f;
|
||||
Z3_solver_propagate_final(ctx(), *s, final_eh);
|
||||
|
|
Loading…
Reference in a new issue