From 8ca1b7b2cb36783db20d8a53a45aa0e52e95ba45 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sat, 11 May 2019 14:13:40 -0700
Subject: [PATCH] chore(kernel/environment): dead code

---
 src/kernel/environment.h | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/kernel/environment.h b/src/kernel/environment.h
index 3a5a868386..3e4f721db1 100644
--- a/src/kernel/environment.h
+++ b/src/kernel/environment.h
@@ -26,9 +26,6 @@ Author: Leonardo de Moura
 namespace lean {
 class environment;
 
-typedef std::function<bool(name const &)> extra_opaque_pred; // NOLINT
-extra_opaque_pred const & no_extra_opaque();
-
 class environment_extension {
 public:
     virtual ~environment_extension();