Cic.term and Cic.obj unused!

[helm.git] / matita / components / grafite / grafiteMarshal.mli

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