From 53870b7f6890a593d1da93706f3d020a79d226e5 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 18 Sep 2018 15:22:12 +0200
Subject: [api] Remove (most) 8.9 deprecated objects.

A few of them will be of help for future cleanups. We have spared the
stuff in `Names` due to bad organization of this module following the
split from `Term`, which really difficult things removing the
constructors.
---
 kernel/uGraph.mli | 2 --
 1 file changed, 2 deletions(-)

(limited to 'kernel/uGraph.mli')

diff --git a/kernel/uGraph.mli b/kernel/uGraph.mli
index 752bf76270..4336a22b8c 100644
--- a/kernel/uGraph.mli
+++ b/kernel/uGraph.mli
@@ -12,8 +12,6 @@ open Univ
 
 (** {6 Graphs of universes. } *)
 type t
-type universes = t
-[@@ocaml.deprecated "Use UGraph.t"]
 
 type 'a check_function = t -> 'a -> 'a -> bool
 
-- 
cgit v1.2.3