From 9c09b0750b2fa393f90153dc1c2bf6e6ca93d15b Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 21 Sep 2015 15:43:51 -0700 Subject: [PATCH] chore(kernel/expr): remove dead code --- src/kernel/expr.h | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/kernel/expr.h b/src/kernel/expr.h index 952c4fcc8..0efbaa617 100644 --- a/src/kernel/expr.h +++ b/src/kernel/expr.h @@ -138,8 +138,6 @@ public: friend expr mk_local(name const & n, name const & pp_n, expr const & t, binder_info const & bi, tag g); friend expr mk_app(expr const & f, expr const & a, tag g); - friend expr mk_pair(expr const & f, expr const & s, expr const & t, tag g); - friend expr mk_proj(bool fst, expr const & p, tag g); friend expr mk_binding(expr_kind k, name const & n, expr const & t, expr const & e, binder_info const & i, tag g); friend expr mk_macro(macro_definition const & m, unsigned num, expr const * args, tag g);