From 1048812e2eb262b711d576eda8102486bd2526c2 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 13 Jan 2016 17:27:25 -0800 Subject: [PATCH] chore(frontends/lean/notation_cmd): cleanup weird coding pattern --- src/frontends/lean/notation_cmd.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/frontends/lean/notation_cmd.cpp b/src/frontends/lean/notation_cmd.cpp index b193cc4485..7bb0d36056 100644 --- a/src/frontends/lean/notation_cmd.cpp +++ b/src/frontends/lean/notation_cmd.cpp @@ -252,9 +252,9 @@ static auto parse_mixfix_notation(parser & p, mixfix_kind k, bool overload, nota case mixfix_kind::infixl: #if defined(__GNUC__) && !defined(__CLANG__) #pragma GCC diagnostic ignored "-Wmaybe-uninitialized" +#endif return mk_pair(notation_entry(false, to_list(transition(tks, mk_expr_action(*prec), pp_tk)), mk_app(f, Var(1), Var(0)), overload, priority, grp, parse_only), new_token); -#endif case mixfix_kind::infixr: return mk_pair(notation_entry(false, to_list(transition(tks, mk_expr_action(*prec), pp_tk)), mk_app(f, Var(1), Var(0)), overload, priority, grp, parse_only), new_token);