From 3d528c8ef6f2de56d704d0e03d7ad224164c432d Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 4 Dec 2021 11:19:49 -0800 Subject: [PATCH] typo --- src/smt/tactic/smt_tactic_core.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/smt/tactic/smt_tactic_core.cpp b/src/smt/tactic/smt_tactic_core.cpp index 73f0fd13e..2af794e13 100644 --- a/src/smt/tactic/smt_tactic_core.cpp +++ b/src/smt/tactic/smt_tactic_core.cpp @@ -390,7 +390,7 @@ public: i_cb.cb = cb; m_diseq_eh(ctx, &i_cb, m_internal2var[u], m_internal2var[v]); }; - m_ctx->user_propagate_register_diseq(i_eq_eh); + m_ctx->user_propagate_register_diseq(i_diseq_eh); }