From 17b48010b77964fd89aef29e491fc9113a2a4d01 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 23 Oct 2013 12:00:29 -0700 Subject: [PATCH] fix(unification_constraint): fix printer for max constraints Signed-off-by: Leonardo de Moura --- src/kernel/unification_constraint.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/kernel/unification_constraint.cpp b/src/kernel/unification_constraint.cpp index ef3f0301c..2c137c5d1 100644 --- a/src/kernel/unification_constraint.cpp +++ b/src/kernel/unification_constraint.cpp @@ -91,7 +91,7 @@ format unification_constraint_max::pp(formatter const & fmt, options const & opt format lhs1_fmt = fmt(m_ctx, m_lhs1, false, opts); format lhs2_fmt = fmt(m_ctx, m_lhs2, false, opts); format rhs_fmt = fmt(m_ctx, m_rhs, false, opts); - format body = group(format{format("max"), lp(), lhs1_fmt, comma(), nest(4, compose(line(), lhs2_fmt)), space(), op, line(), rhs_fmt}); + format body = group(format{format("max"), lp(), lhs1_fmt, comma(), nest(4, compose(line(), lhs2_fmt)), rp(), space(), op, line(), rhs_fmt}); body = add_context(fmt, opts, m_ctx, body); return add_trace(fmt, opts, body, m_trace, p, include_trace); }