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);
     }