1. matitaEngine splitted into disambiguation (now in grafite_parser) and

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

diff --git a/helm/ocaml/grafite/grafiteMarshal.ml b/helm/ocaml/grafite/grafiteMarshal.ml
index b1601911ed7936d9ef3b9b8bf33e8d4739c7f22d..dd9febedbc66fe9f384395fe47229a972b6eb905 100644 (file)
--- a/helm/ocaml/grafite/grafiteMarshal.ml
+++ b/helm/ocaml/grafite/grafiteMarshal.ml
@@ -27,7 +27,7 @@ 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 ast_command = (Cic.term, Cic.obj) GrafiteAst.command
 type moo = ast_command list * GrafiteAst.metadata list  (** <moo, metadata> *)
 
 let marshal_flags = []