From a21e1bb60f579baec910d4c3d8e8434501470b6d Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 17 May 2019 16:42:48 +0200
Subject: Move the Discharge module into the kernel.

---
 library/lib.ml | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'library/lib.ml')

diff --git a/library/lib.ml b/library/lib.ml
index 4be288ed20..daa41eca65 100644
--- a/library/lib.ml
+++ b/library/lib.ml
@@ -474,9 +474,6 @@ let extract_hyps (secs,ohyps) =
 let instance_from_variable_context =
   List.map fst %> List.filter is_local_assum %> List.map NamedDecl.get_id %> Array.of_list
 
-let named_of_variable_context =
-  List.map fst
-
 let name_instance inst =
   (* FIXME: this should probably be done at an upper level, by storing the
      name information in the section data structure. *)
-- 
cgit v1.2.3