X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=components%2Ftactics%2Funiverse.mli;h=ee5dc489aa63d9d1a1104032e2109527c8c5894c;hb=b0a6c05decc9f0e731f70cfc5ae5350ae4046b79;hp=4ae0ff961e2fa511c4ea8db2632629094fdcc4ce;hpb=1997c9713a0f75ec65803cc8132223142df98204;p=helm.git

diff --git a/components/tactics/universe.mli b/components/tactics/universe.mli
index 4ae0ff961..ee5dc489a 100644
--- a/components/tactics/universe.mli
+++ b/components/tactics/universe.mli
@@ -32,6 +32,7 @@ val index:
   Cic.term -> (* value *)
   universe
 val keys: Cic.context -> Cic.term -> Cic.term list
+val key: Cic.term -> Cic.term
 val index_term_and_unfolded_term: 
   universe -> Cic.context -> Cic.term -> Cic.term -> universe
 val index_local_term: