X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fgrafite%2FgrafiteMarshal.mli;h=9be797a44fb6e76ba389e37f3db31c4d55e65fec;hb=6a388079100673e4f71d28a8a53ea029ee1b08df;hp=8fb1b23988c931e3121a8960e604715ddc2178f9;hpb=a58d25c192ff13ecee2cb92f07ee6f1cbe5219b5;p=helm.git

diff --git a/helm/ocaml/grafite/grafiteMarshal.mli b/helm/ocaml/grafite/grafiteMarshal.mli
index 8fb1b2398..9be797a44 100644
--- a/helm/ocaml/grafite/grafiteMarshal.mli
+++ b/helm/ocaml/grafite/grafiteMarshal.mli
@@ -29,7 +29,7 @@ exception Corrupt_moo of string
 exception Version_mismatch of string
 
 type ast_command = (Cic.term, Cic.obj) GrafiteAst.command
-type moo = ast_command list * GrafiteAst.metadata list  (** <moo, metadata> *)
+type moo = ast_command list
 
 val save_moo: fname:string -> moo -> unit