Bug fixed: if the context of a sequent was empty a vertical box without content

[helm.git] / helm / software / components / metadata / metadataDeps.mli

diff --git a/helm/software/components/metadata/metadataDeps.mli b/helm/software/components/metadata/metadataDeps.mli
index ee0954d059e0b61fcc4696f483dad64ad09afed3..f5a6ac22e13171d3d91403ec633419297dfe614d 100644 (file)
--- a/helm/software/components/metadata/metadataDeps.mli
+++ b/helm/software/components/metadata/metadataDeps.mli
@@ -35,6 +35,9 @@ val inverse_deps:
   dbd:HMysql.dbd ->
   UriManager.uri -> (UriManager.uri * MetadataTypes.position) list
 
+val topological_sort:
+  dbd:HMysql.dbd -> UriManager.uri list -> UriManager.uri list
+
   (** Representation of a (lazy) dependency graph.
    * Imperative data structure. *)
 module DepGraph: