]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/metadata/table_creator/table_creator.ml
more friendly sqlStatements api
[helm.git] / helm / ocaml / metadata / table_creator / table_creator.ml
index 7cd3b35f2461eb06c8e5533b3d3581cc6d076712..4eb84ad744437d8c5453131607a91e89bf08b39a 100644 (file)
@@ -37,8 +37,9 @@ let main () =
       let todo = Array.to_list (Array.sub Sys.argv from (len - from)) in
       let todo = parse_args todo in
       let todo = List.map (fun (x,name) -> name, (List.assoc x map)) todo in
-      print_endline (SqlStatements.create_tables todo);
-      if index then print_endline (SqlStatements.create_indexes todo)
+      print_endline (String.concat "\n" (SqlStatements.create_tables todo));
+      if index then 
+        print_endline (String.concat "\n" (SqlStatements.create_indexes todo))
     end
 
 let _ = main ()