X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fmetadata%2FmetadataDeps.ml;h=e6fcab592577812706ded37f667b5a21a220a7c2;hb=5c92c318030a05c766b3f6070dbd23589cbdee04;hp=71fbcda7dd63286637ea783538fd71af4c4a45df;hpb=2b837ca9e298eb44eee95d9ca0e331c577785dcb;p=helm.git

diff --git a/helm/software/components/metadata/metadataDeps.ml b/helm/software/components/metadata/metadataDeps.ml
index 71fbcda7d..e6fcab592 100644
--- a/helm/software/components/metadata/metadataDeps.ml
+++ b/helm/software/components/metadata/metadataDeps.ml
@@ -169,7 +169,7 @@ struct
     neighborhood UriTbl.t * UriManager.uri
       * (UriManager.uri -> UriManager.uri list) * bool
 
-  let dummy =
+  let dummy : t =
     UriTbl.create 0, UriManager.uri_of_string "cic:/a.con",
       (fun _ -> []), false
 
@@ -200,7 +200,7 @@ struct
               let neighbs = UriTbl.find adjlist uri in
               if Lazy.lazy_is_val neighbs.adjacency then begin
                 let adjacency, _ =
-                  HExtlib.split_nth "MD 1" neighbs.shown (Lazy.force neighbs.adjacency)
+                  HExtlib.split_nth neighbs.shown (Lazy.force neighbs.adjacency)
                 in
                 List.iter
                   (fun dest ->
@@ -242,7 +242,7 @@ struct
             UriTbl.add adjlist dest neighborhood)
           adjacency;
         neighbs.shown <- weight;
-        fst (HExtlib.split_nth "MD 2" weight adjacency), weight
+        fst (HExtlib.split_nth weight adjacency), weight
       else begin  (* nodes has been expanded at least once *)
         let adjacency = Lazy.force neighbs.adjacency in
         let total_nodes = List.length adjacency in
@@ -251,7 +251,7 @@ struct
           let shown_before = neighbs.shown in
           neighbs.shown <- min (neighbs.shown + fat_increment) total_nodes;
           let new_shown = neighbs.shown - shown_before in
-          (fst (HExtlib.split_nth "MD 3" new_shown (List.rev adjacency))), new_shown
+          (fst (HExtlib.split_nth new_shown (List.rev adjacency))), new_shown
         end else
           [], 0 (* all children are already shown *)
       end