From 8e82c4096357355a148705341742702ff285f72a Mon Sep 17 00:00:00 2001
From: barras
Date: Wed, 28 Mar 2001 15:11:26 +0000
Subject: amelioration de la structure des univers elimination des compteurs
 globaux de metas et d'evars du noyau nettoyage de safe_typing.ml (plus de
 flags)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1497 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 kernel/evd.ml | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'kernel/evd.ml')

diff --git a/kernel/evd.ml b/kernel/evd.ml
index 9a4d5af6a7..a80f21b521 100644
--- a/kernel/evd.ml
+++ b/kernel/evd.ml
@@ -17,10 +17,6 @@ open Sign
 
 type evar = int
 
-let new_evar =
-  let evar_ctr = ref 0 in
-  fun () -> incr evar_ctr; !evar_ctr
-
 type evar_body =
   | Evar_empty 
   | Evar_defined of constr
-- 
cgit v1.2.3