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);