From b21d85d19e6f75e8d4c3810f23e4eb791dcaf2fc Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 14 Aug 2015 18:49:01 -0700 Subject: [PATCH] chore(library/coercion): fix style --- src/library/coercion.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/library/coercion.cpp b/src/library/coercion.cpp index 8b17af08a..72cc73b50 100644 --- a/src/library/coercion.cpp +++ b/src/library/coercion.cpp @@ -232,7 +232,7 @@ static void check_pi(name const & f, expr const & t) { // similar to check_pi, but produces a more informative message static void check_valid_coercion(name const & f, expr const & t) { if (!is_pi(t)) { - throw_generic_exception(optional(),[=](formatter const & fmt) { + throw_generic_exception(optional(), [=](formatter const & fmt) { options o = fmt.get_options(); bool show_universes = get_pp_universes(o) || get_pp_all(o); std::string ls = show_universes ? ".{ls}" : "";