From ad74cfff28ffc9e82cb14d189761cf9c776ab09d Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 5 May 2005 10:39:44 +0000
Subject: Code v7 obsolete

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

(limited to 'kernel')

diff --git a/kernel/univ.mli b/kernel/univ.mli
index 990460f9bb..56442cbccd 100644
--- a/kernel/univ.mli
+++ b/kernel/univ.mli
@@ -52,8 +52,6 @@ val merge_constraints : constraints -> universes -> universes
 val pr_uni : universe -> Pp.std_ppcmds
 val pr_universes : universes -> Pp.std_ppcmds
 
-val string_of_univ : universe -> string
-
 (*s Dumping to a file *)
 
 val dump_universes : out_channel -> universes -> unit
-- 
cgit v1.2.3