]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/metadata/metadataPp.ml
no longer use Dbi module but directly use Mysql module since it's 13
[helm.git] / helm / ocaml / metadata / metadataPp.ml
index e83aa7c8655d1d049a1549498e519d31b8edb59c..33f10427ffa41e59f0c8d4a9e83eaeffaf8a5698 100644 (file)
@@ -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))
+*)