From 43f2b848d47c361a39dbd157bd9e61d3011460b1 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 25 Jul 2022 03:44:12 +0200
Subject: [PATCH] fix typo

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/sat/smt/user_solver.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/sat/smt/user_solver.cpp b/src/sat/smt/user_solver.cpp
index 49d760177..494e69e55 100644
--- a/src/sat/smt/user_solver.cpp
+++ b/src/sat/smt/user_solver.cpp
@@ -143,7 +143,7 @@ namespace user_solver {
         if (!m_diseq_eh)
             return;
         force_push();
-        m_diseq_eh(m_user_context, this, var2expr(eq.v1()), var2expr(eq.v2()));
+        m_diseq_eh(m_user_context, this, var2expr(de.v1()), var2expr(de.v2()));
     }