simplified api

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
Z3Prover · Jan 20, 2024 · 62b1425 · 62b1425
1 parent 1c16578
commit 62b1425
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/math/lp/lar_solver.cpp b/src/math/lp/lar_solver.cpp
@@ -1630,7 +1630,7 @@ namespace lp {
         subst_known_terms(t);
         push_term(t);
         if (!t->is_empty())
-            add_row_from_term_no_constraint(t, ret);
+            add_row_from_term_no_constraint(t, ext_i);
 
         lp_assert(m_var_register.size() == A_r().column_count());
         if (m_need_register_terms)