From fbaa3e13ab3a8afaa25e0c88b3582ff64f36b36e Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 9 Dec 2015 08:06:05 -0800 Subject: [PATCH] chore(library/blast/simplifier/simplifier): use '-->' for tracing a rewrite --- src/library/blast/simplifier/simplifier.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/library/blast/simplifier/simplifier.cpp b/src/library/blast/simplifier/simplifier.cpp index c96e4001f..c7840cddf 100644 --- a/src/library/blast/simplifier/simplifier.cpp +++ b/src/library/blast/simplifier/simplifier.cpp @@ -602,7 +602,7 @@ result simplifier::rewrite(expr const & e, simp_rule const & sr) { expr new_lhs = tmp_tctx->instantiate_uvars_mvars(sr.get_lhs()); expr new_rhs = tmp_tctx->instantiate_uvars_mvars(sr.get_rhs()); tout() << "(" << sr.get_id() << ") " - << "[" << ppb(new_lhs) << " =?= " << ppb(new_rhs) << "]\n";); + << "[" << ppb(new_lhs) << " --> " << ppb(new_rhs) << "]\n";); if (!instantiate_emetas(tmp_tctx, sr.get_num_emeta(), sr.get_emetas(), sr.get_instances())) return result(e);