single INSERT on multiple tuples

[helm.git] / helm / ocaml / metadata / metadataPp.ml

diff --git a/helm/ocaml/metadata/metadataPp.ml b/helm/ocaml/metadata/metadataPp.ml
index e2e21662b371a3c58711d30d569aa4b27ecdc92e..5fc05b91dc59fcdc66d24882068b2dad0019f58c 100644 (file)
--- a/helm/ocaml/metadata/metadataPp.ml
+++ b/helm/ocaml/metadata/metadataPp.ml
@@ -59,7 +59,7 @@ let uri_of_pos pos = String.concat "#" [metadata_ns; pp_position pos]
 
 type t = [ `Int of int | `String of string | `Null ]
 
-let columns_of_metadata ~about metadatas =
+let columns_of_metadata_aux ~about metadata =
   let sort s = `String (CicPp.ppsort s) in
   let source = `String about in
   let occurrence u = `String u in
@@ -76,14 +76,14 @@ let columns_of_metadata ~about metadatas =
           let (p, d) = columns_of_position p in
           sort_cols, rel_cols,
           [source; occurrence o; p; d] :: obj_cols)
-    ([], [], []) metadatas
+    ([], [], []) metadata
 
-let columns_of_ind_metadata ind_metadata =
+let columns_of_metadata metadata =
   List.fold_left
-    (fun (sort_cols, rel_cols, obj_cols) (uri, _, metadatas) ->
-      let (s, r, o) = columns_of_metadata ~about:uri metadatas in
+    (fun (sort_cols, rel_cols, obj_cols) (uri, _, metadata) ->
+      let (s, r, o) = columns_of_metadata_aux ~about:uri metadata in
       (List.append sort_cols s, List.append rel_cols r, List.append obj_cols o))
-    ([], [], []) ind_metadata
+    ([], [], []) metadata
 
 (*
 let pp_columns ?(sep = "\n") (sort_cols, rel_cols, obj_cols) =