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

diff --git a/helm/software/components/metadata/metadataDeps.mli b/helm/software/components/metadata/metadataDeps.mli
index 4def88d9e..12b502cd0 100644
--- a/helm/software/components/metadata/metadataDeps.mli
+++ b/helm/software/components/metadata/metadataDeps.mli
@@ -26,20 +26,20 @@
   (** @return the one step direct dependencies of an object, specified by URI
    * (that is, the list of objects on which an given one depends) *)
 val direct_deps:
-  dbd:HMysql.dbd ->
+  dbd:HSql.dbd ->
   UriManager.uri -> (UriManager.uri * MetadataTypes.position) list
 
   (** @return the one step inverse dependencies of an objects, specified by URI
    * (that is, the list of objects which depends on a given object) *)
 val inverse_deps:
-  dbd:HMysql.dbd ->
+  dbd:HSql.dbd ->
   UriManager.uri -> (UriManager.uri * MetadataTypes.position) list
 
 val topological_sort:
-  dbd:HMysql.dbd -> UriManager.uri list -> UriManager.uri list
+  dbd:HSql.dbd -> UriManager.uri list -> UriManager.uri list
 
 val sorted_uris_of_baseuri:
-   dbd:HMysql.dbd -> string -> UriManager.uri list
+   dbd:HSql.dbd -> string -> UriManager.uri list
 
   (** Representation of a (lazy) dependency graph.
    * Imperative data structure. *)
@@ -54,9 +54,9 @@ sig
   val render: Format.formatter -> t -> unit
 
     (** @return the transitive closure of direct_deps *)
-  val direct_deps: dbd:HMysql.dbd -> UriManager.uri -> t
+  val direct_deps: dbd:HSql.dbd -> UriManager.uri -> t
 
     (** @return the transitive closure of inverse_deps *)
-  val inverse_deps: dbd:HMysql.dbd -> UriManager.uri -> t
+  val inverse_deps: dbd:HSql.dbd -> UriManager.uri -> t
 end