From 7441bd706b89021f733fe7cb3dc6107badbc2a58 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 19 Dec 2021 10:57:42 -0800 Subject: [PATCH] na --- src/api/c++/z3++.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h index 747244ca7..941f7cc0b 100644 --- a/src/api/c++/z3++.h +++ b/src/api/c++/z3++.h @@ -4033,14 +4033,14 @@ namespace z3 { void register_created(created_eh_t& c) { assert(s); m_created_eh = c; - Z3_solver_propagate_created(c, *s, created_eh); + Z3_solver_propagate_created(ctx(), *s, created_eh); } void register_created() { m_created_eh = [this](unsigned id, expr const& e) { created(id, e); }; - Z3_solver_propagate_created(c, *s, created_eh); + Z3_solver_propagate_created(ctx(), *s, created_eh); } virtual void fixed(unsigned /*id*/, expr const& /*e*/) { }