better ranking interface

[helm.git] / helm / software / components / cic / cicUniv.mli

diff --git a/helm/software/components/cic/cicUniv.mli b/helm/software/components/cic/cicUniv.mli
index b53e506914552d50f949cecd38364823d3a4b2b8..fa7f544c06036deebda609dfecba3446b5af760e 100644 (file)
--- 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 -> int list
+val do_rank: universe_graph -> int list * universe list
 val get_rank: universe -> int
 
 (*