From ea6827505e6eb0a6a23ccc7ef9124bde1224515d Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 25 Jan 2022 10:13:09 +0100 Subject: [PATCH] add missing callback to m_created_eh Signed-off-by: Nikolaj Bjorner --- src/smt/tactic/smt_tactic_core.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/smt/tactic/smt_tactic_core.cpp b/src/smt/tactic/smt_tactic_core.cpp index 943facb98..9b67b5d81 100644 --- a/src/smt/tactic/smt_tactic_core.cpp +++ b/src/smt/tactic/smt_tactic_core.cpp @@ -418,6 +418,7 @@ public: m_vars.push_back(e); m_internal2var.setx(i, j, 0); m_var2internal.setx(j, i, 0); + m_created_eh(ctx, cb, e, j); }; m_ctx->user_propagate_register_created(i_created_eh); }