X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcic%2FcicUniv.mli;h=b53e506914552d50f949cecd38364823d3a4b2b8;hb=b637879a2b3f2ceda65afb3c950061189c4730b7;hp=6451a74ec619abf63c65bbc4a6a0c1efe16739ec;hpb=c031aa4ca97d0d563a772d7bd247ff7814c51b04;p=helm.git

diff --git a/helm/software/components/cic/cicUniv.mli b/helm/software/components/cic/cicUniv.mli
index 6451a74ec..b53e50691 100644
--- a/helm/software/components/cic/cicUniv.mli
+++ b/helm/software/components/cic/cicUniv.mli
@@ -72,7 +72,7 @@ val add_ge:
 val add_gt: 
   universe -> universe -> universe_graph -> universe_graph
 
-val do_rank: universe_graph -> unit
+val do_rank: universe_graph -> int list
 val get_rank: universe -> int
 
 (*