X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fmetadata%2FmetadataDb.mli;h=d70ec4a347d4495f260129fe97b707ec7fa26cbb;hb=b9af9f1c0de6a1735b492f5c793a87a8fce218cc;hp=672c900eb850ea3cb8e04538aeb65624aa929e86;hpb=5edfd170706c91c5d3a9d3522360b748a2dc034f;p=helm.git

diff --git a/helm/ocaml/metadata/metadataDb.mli b/helm/ocaml/metadata/metadataDb.mli
index 672c900eb..d70ec4a34 100644
--- 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