From e500c71e46e6ff252455b9698addedb101662994 Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Fri, 11 Oct 2019 12:45:53 +0000
Subject: [engine] Remove UnivGen.global_of_constr

---
 dev/doc/changes.md | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'dev')

diff --git a/dev/doc/changes.md b/dev/doc/changes.md
index ab9df12766..8ab00c6fd8 100644
--- a/dev/doc/changes.md
+++ b/dev/doc/changes.md
@@ -2,6 +2,8 @@
 
 ### ML API
 
+- Function UnivGen.global_of_constr has been removed.
+
 - Functions and types deprecated in 8.10 have been removed in Coq
   8.11.
 
-- 
cgit v1.2.3