From 9402b6efad32757f44d72d83f6aabdca8829e3ed Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 7 Nov 2017 00:48:14 +0100
Subject: [api] Remove 8.7 ML-deprecated functions.

---
 library/coqlib.ml | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'library/coqlib.ml')

diff --git a/library/coqlib.ml b/library/coqlib.ml
index 8787738af9..141fff0335 100644
--- a/library/coqlib.ml
+++ b/library/coqlib.ml
@@ -377,7 +377,3 @@ let coq_sumbool_ref = lazy (init_reference ["Specif"] "sumbool")
 let coq_sig_ref = lazy (init_reference ["Specif"] "sig")
 let coq_or_ref     = lazy (init_reference ["Logic"] "or")
 let coq_iff_ref    = lazy (init_reference ["Logic"] "iff")
-
-(* Deprecated *)
-let gen_reference = coq_reference
-
-- 
cgit v1.2.3