X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fmetadata%2FmetadataDeps.mli;h=4def88d9edd132b038d69edb018506440031a846;hb=c0a733b932a64804f67ac93f9ab9f52bd0614fc6;hp=f5a6ac22e13171d3d91403ec633419297dfe614d;hpb=f998e3da4179cbff6b3c3ec871c5892d0a76adbf;p=helm.git

diff --git a/helm/software/components/metadata/metadataDeps.mli b/helm/software/components/metadata/metadataDeps.mli
index f5a6ac22e..4def88d9e 100644
--- a/helm/software/components/metadata/metadataDeps.mli
+++ b/helm/software/components/metadata/metadataDeps.mli
@@ -38,6 +38,9 @@ val inverse_deps:
 val topological_sort:
   dbd:HMysql.dbd -> UriManager.uri list -> UriManager.uri list
 
+val sorted_uris_of_baseuri:
+   dbd:HMysql.dbd -> string -> UriManager.uri list
+
   (** Representation of a (lazy) dependency graph.
    * Imperative data structure. *)
 module DepGraph: