From 676a536e9e6ec1d0b3db40ac2650fc9c0a9b3c01 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Wed, 19 Mar 2025 19:55:36 -0700 Subject: [PATCH] fix a print out Signed-off-by: Lev Nachmanson --- src/math/lp/dioph_eq.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/lp/dioph_eq.cpp b/src/math/lp/dioph_eq.cpp index 44973a3c3..a4b82fbb5 100644 --- a/src/math/lp/dioph_eq.cpp +++ b/src/math/lp/dioph_eq.cpp @@ -1806,7 +1806,7 @@ namespace lp { dep = lra.join_deps(dep, lra.get_bound_constraint_witnesses_for_column(p.var())); } TRACE("dio", tout << "jterm:"; - print_lar_term_L(lra.get_term(j), tout) << "\ndep:"; + print_lar_term_L(lra.get_term(j), tout) << "\ndeps:\n"; print_deps(tout, dep) << std::endl;); lra.update_column_type_and_bound(j, kind, bound, dep);