From 49c2d991ca08f52b5b619fbbb4c59952bdefec46 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Sat, 20 Apr 2019 12:59:22 -0700 Subject: [PATCH] use pp_mon to print a monomial Signed-off-by: Lev Nachmanson --- src/util/lp/nla_order_lemmas.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/util/lp/nla_order_lemmas.cpp b/src/util/lp/nla_order_lemmas.cpp index 05640f0cf..477ea8094 100644 --- a/src/util/lp/nla_order_lemmas.cpp +++ b/src/util/lp/nla_order_lemmas.cpp @@ -37,7 +37,7 @@ void order::order_lemma() { void order::order_lemma_on_rmonomial(const smon& rm) { TRACE("nla_solver_details", - tout << "rm = " << rm << ", orig = " << c().m_emons[rm];); + tout << "rm = " << rm << ", orig = " << pp_mon(c(), c().m_emons[rm]);); for (auto ac : factorization_factory_imp(rm, c())) { if (ac.size() != 2)