mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
fix typo
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
5c2c0ae900
commit
43f2b848d4
|
@ -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()));
|
||||
}
|
||||
|
||||
|
||||
|
|
Loading…
Reference in a new issue