X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=components%2Fgrafite%2FgrafiteMarshal.mli;h=cad7b1187a62869f25ff4d15aa63ca81e1770303;hb=24dd4569daf1d35bffaa813b8164058d8643f14d;hp=e60ad39d8daa370ee9c4fdd21bcbf9f564e710ad;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

diff --git a/components/grafite/grafiteMarshal.mli b/components/grafite/grafiteMarshal.mli
index e60ad39d8..cad7b1187 100644
--- a/components/grafite/grafiteMarshal.mli
+++ b/components/grafite/grafiteMarshal.mli
@@ -23,7 +23,7 @@
  * http://helm.cs.unibo.it/
  *)
 
-type ast_command = Cic.obj GrafiteAst.command
+type ast_command = (Cic.term,Cic.obj) GrafiteAst.command
 type moo = ast_command list
 
 val save_moo: fname:string -> moo -> unit