From 38436468e27638cb4251ceefb92ad02c0375d85c Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 16 Nov 2015 18:23:45 -0800 Subject: [PATCH] chore(library/type_context): remove dead code --- src/library/type_context.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/library/type_context.cpp b/src/library/type_context.cpp index 53240fddb..bf923cb33 100644 --- a/src/library/type_context.cpp +++ b/src/library/type_context.cpp @@ -1356,7 +1356,6 @@ bool type_context::update_options(options const & opts) { } [[ noreturn ]] static void throw_class_exception(char const * msg, expr const & m) { throw_generic_exception(msg, m); } -[[ noreturn ]] static void throw_class_exception(expr const & m, pp_fn const & fn) { throw_generic_exception(m, fn); } io_state_stream type_context::diagnostic() { return lean::diagnostic(m_env, m_ios);