X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgrafite%2FgrafiteMarshal.mli;h=4b49cfc41d771f095713ea0962ea6b6026bb1252;hb=55ba0a660f91e491e904dad63b14ddf2bcc2754d;hp=663d2fa43c0a00d1852166d2da42ce1a7392b722;hpb=0ac236dda6f80f6dc86a7f12d8c88b25e64e3251;p=helm.git

diff --git a/helm/ocaml/grafite/grafiteMarshal.mli b/helm/ocaml/grafite/grafiteMarshal.mli
index 663d2fa43..4b49cfc41 100644
--- a/helm/ocaml/grafite/grafiteMarshal.mli
+++ b/helm/ocaml/grafite/grafiteMarshal.mli
@@ -28,8 +28,8 @@ exception Checksum_failure of string
 exception Corrupt_moo of string
 exception Version_mismatch of string
 
-type ast_command = (CicNotationPt.term, CicNotationPt.obj) GrafiteAst.command
-type moo = ast_command list * GrafiteAst.metadata list  (** <moo, metadata> *)
+type ast_command = Cic.obj GrafiteAst.command
+type moo = ast_command list
 
 val save_moo: fname:string -> moo -> unit