From fcf532ea673d65f77c579f27451aceaace284795 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 3 Jan 2016 15:16:50 -0800 Subject: [PATCH] chore(library/app_builder): fix typo in trace message --- src/library/app_builder.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/library/app_builder.cpp b/src/library/app_builder.cpp index f1332fd94a..2ee3a2a0d9 100644 --- a/src/library/app_builder.cpp +++ b/src/library/app_builder.cpp @@ -268,7 +268,7 @@ struct app_builder::imp { lean_trace("app_builder", trace_fun(n); tout () << ", failed to solve unification constraint for #" << (i+1) - << "argument (" << m_ctx->infer(m) << " =?= " << m_ctx->infer(v) << ")\n";); + << " argument (" << m_ctx->infer(m) << " =?= " << m_ctx->infer(v) << ")\n";); } expr mk_app(name const & c, unsigned nargs, expr const * args) {