Some modifications due to instance.

[helm.git] / helm / ocaml / metadata / metadataDb.mli

diff --git a/helm/ocaml/metadata/metadataDb.mli b/helm/ocaml/metadata/metadataDb.mli
index 672c900eb850ea3cb8e04538aeb65624aa929e86..d70ec4a347d4495f260129fe97b707ec7fa26cbb 100644 (file)
--- a/helm/ocaml/metadata/metadataDb.mli
+++ b/helm/ocaml/metadata/metadataDb.mli
@@ -36,6 +36,6 @@ val clean: dbd:Mysql.dbd -> string list
 val unindex: dbd:Mysql.dbd -> uri:UriManager.uri -> unit
 
 val count_distinct: 
-  [ `Conclusion | `Hypothesis | `Statement] -> 
-  MetadataTypes.metadata list -> 
-    int     
+  [`Conclusion | `Hypothesis | `Statement ] -> 
+  MetadataTypes.metadata list ->
+  int