X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaMoo.mli;h=75b71a58f6efe282d092348414b1d9d1f284b9ba;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=3959a120a6fd148b7f5d651853ec22bbb5f3fe27;hpb=b2f2e47efe1e01df81cb7659c30eeb76f1f830da;p=helm.git

diff --git a/helm/matita/matitaMoo.mli b/helm/matita/matitaMoo.mli
index 3959a120a..75b71a58f 100644
--- 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