From 1b8d9deb37faa50f6bf53c8eeea27218f53d2361 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 25 May 2016 15:45:43 -0700 Subject: [PATCH] chore(library/compiler/erase_irrelevant): style --- src/library/compiler/erase_irrelevant.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/library/compiler/erase_irrelevant.cpp b/src/library/compiler/erase_irrelevant.cpp index b227146834..7d7f4bbf53 100644 --- a/src/library/compiler/erase_irrelevant.cpp +++ b/src/library/compiler/erase_irrelevant.cpp @@ -113,7 +113,8 @@ class erase_irrelevant_fn : public compiler_step_visitor { expr new_minor = minors[i]; for (unsigned j = 0; j < data_sz; j++) { if (!is_lambda(new_minor)) - throw exception("unexpected occurrence of 'cases_on' expression, the minor premise is expected to be a lambda-expression"); + throw exception("unexpected occurrence of 'cases_on' expression, " + "the minor premise is expected to be a lambda-expression"); expr local = locals.push_local_from_binding(new_minor); new_minor = instantiate(binding_body(new_minor), local); }