fix

[helm.git] / helm / ocaml / grafite / grafiteMarshal.mli

diff --git a/helm/ocaml/grafite/grafiteMarshal.mli b/helm/ocaml/grafite/grafiteMarshal.mli
index 9be797a44fb6e76ba389e37f3db31c4d55e65fec..4b49cfc41d771f095713ea0962ea6b6026bb1252 100644 (file)
--- a/helm/ocaml/grafite/grafiteMarshal.mli
+++ b/helm/ocaml/grafite/grafiteMarshal.mli
@@ -28,7 +28,7 @@ exception Checksum_failure of string
 exception Corrupt_moo of string
 exception Version_mismatch of string
 
-type ast_command = (Cic.term, Cic.obj) GrafiteAst.command
+type ast_command = Cic.obj GrafiteAst.command
 type moo = ast_command list
 
 val save_moo: fname:string -> moo -> unit