From 1ac9c558c0d354c15e907a7142e775aa4120dc98 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Thu, 6 Mar 2025 14:09:54 -1000 Subject: [PATCH] change formatting --- src/math/lp/dioph_eq.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/math/lp/dioph_eq.cpp b/src/math/lp/dioph_eq.cpp index 81b84fcf0..16a377274 100644 --- a/src/math/lp/dioph_eq.cpp +++ b/src/math/lp/dioph_eq.cpp @@ -1528,7 +1528,8 @@ namespace lp { auto st = lra.find_feasible_solution(); if (st == lp_status::INFEASIBLE) { lra.get_infeasibility_explanation(m_infeas_explanation); - TRACE("dio", tout << "inf explanation:\n"; lra.print_explanation(tout, m_infeas_explanation);); return lia_move::conflict; + TRACE("dio", tout << "inf explanation:\n"; lra.print_explanation(tout, m_infeas_explanation);); + return lia_move::conflict; } TRACE("dio", tout << "lra is feasible\n";); return lia_move::undef;