X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmetadata%2FmetadataPp.ml;fp=helm%2Focaml%2Fmetadata%2FmetadataPp.ml;h=33f10427ffa41e59f0c8d4a9e83eaeffaf8a5698;hb=282f371ba8533ea0e4e667265f9e4b04856bf972;hp=e83aa7c8655d1d049a1549498e519d31b8edb59c;hpb=08b4e4ec7df6644f42fcad30b9d46195c935cf6e;p=helm.git

diff --git a/helm/ocaml/metadata/metadataPp.ml b/helm/ocaml/metadata/metadataPp.ml
index e83aa7c86..33f10427f 100644
--- a/helm/ocaml/metadata/metadataPp.ml
+++ b/helm/ocaml/metadata/metadataPp.ml
@@ -91,9 +91,11 @@ let columns_of_ind_metadata ind_metadata =
       (List.append sort_cols s, List.append rel_cols r, List.append obj_cols o))
     ([], [], []) ind_metadata
 
+(*
 let pp_columns ?(sep = "\n") (sort_cols, rel_cols, obj_cols) =
   String.concat sep
     ([ "Sort" ] @ List.map Dbi.sdebug (sort_cols :> Dbi.sql_t list list) @
     [ "Rel" ] @ List.map Dbi.sdebug (rel_cols :> Dbi.sql_t list list) @
     [ "Obj" ] @ List.map Dbi.sdebug (obj_cols :> Dbi.sql_t list list))
+*)