X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2Fast2pres.mli;h=5b0e5a7403098a38ccd9064dad47a860ac897e6b;hb=bbe7741f3bbaacb93f2876c018dace82f5e929b8;hp=20e909869c88028dd49dbdaa5b9fb3fa93afb098;hpb=29969baf115afff7eb9ea9e2ca98d40ab7006dcc;p=helm.git

diff --git a/helm/ocaml/cic_transformations/ast2pres.mli b/helm/ocaml/cic_transformations/ast2pres.mli
index 20e909869..5b0e5a740 100644
--- a/helm/ocaml/cic_transformations/ast2pres.mli
+++ b/helm/ocaml/cic_transformations/ast2pres.mli
@@ -44,7 +44,7 @@ val ast2astBox:
 val ast2mpres:
   ?priority:int -> ?assoc:bool -> 
   CicAst.term * (Cic.id, string) Hashtbl.t ->
-    Mpresentation.mpres
+    unit Mpresentation.mpres
 
 val add_xml_declaration: Xml.token Stream.t -> Xml.token Stream.t