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);