From 171f40e011921e9e9de3b24a5e8e4f493557cb08 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 6 Oct 2000 13:52:03 +0000
Subject: MAJ pr_uni

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

(limited to 'kernel')

diff --git a/kernel/univ.mli b/kernel/univ.mli
index c69b809bbc..c37ddba88b 100644
--- a/kernel/univ.mli
+++ b/kernel/univ.mli
@@ -59,4 +59,5 @@ val merge_constraints : constraints -> universes -> universes
 
 (*s Pretty-printing of universes. *)
 
+val pr_uni : universe -> Pp.std_ppcmds
 val pr_universes : universes -> Pp.std_ppcmds
-- 
cgit v1.2.3