ocaml 3.09 transition

[helm.git] / helm / matita / matitaMoo.mli

diff --git a/helm/matita/matitaMoo.mli b/helm/matita/matitaMoo.mli
index 3959a120a6fd148b7f5d651853ec22bbb5f3fe27..75b71a58f6efe282d092348414b1d9d1f284b9ba 100644 (file)
--- a/helm/matita/matitaMoo.mli
+++ b/helm/matita/matitaMoo.mli
@@ -28,8 +28,8 @@ exception Checksum_failure of string
 exception Corrupt_moo of string
 exception Version_mismatch of string
 
-val save_moo: fname:string -> MatitaTypes.ast_command list -> unit
+val save_moo: fname:string -> MatitaTypes.moo -> unit
 
   (** @raise Corrupt_moo *)
-val load_moo: fname:string -> MatitaTypes.ast_command list
+val load_moo: fname:string -> MatitaTypes.moo