From 0dc79e09b2b7c369b35191191aa257451a536540 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sun, 11 Mar 2018 01:14:28 +0100
Subject: [api] Remove deprecated objects in engine / interp / library

---
 engine/evarutil.ml | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'engine/evarutil.ml')

diff --git a/engine/evarutil.ml b/engine/evarutil.ml
index afedfe180b..648f960354 100644
--- a/engine/evarutil.ml
+++ b/engine/evarutil.ml
@@ -875,6 +875,3 @@ let eq_constr_univs_test sigma1 sigma2 t u =
       (universes sigma2) fold t u sigma2
   in
   match ans with None -> false | Some _ -> true
-
-type type_constraint = EConstr.types option
-type val_constraint = EConstr.constr option
-- 
cgit v1.2.3