X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fgrafite%2FgrafiteMarshal.mli;h=cad7b1187a62869f25ff4d15aa63ca81e1770303;hb=11b2157bacf59cfc561c2ef6f92ee41ee2c1a006;hp=e60ad39d8daa370ee9c4fdd21bcbf9f564e710ad;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/components/grafite/grafiteMarshal.mli b/helm/software/components/grafite/grafiteMarshal.mli
index e60ad39d8..cad7b1187 100644
--- a/helm/software/components/grafite/grafiteMarshal.mli
+++ b/helm/software/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