X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2Fast2pres.mli;fp=helm%2Focaml%2Fcic_transformations%2Fast2pres.mli;h=5b0e5a7403098a38ccd9064dad47a860ac897e6b;hb=e011e7cd08af361cb5de9c953bfc58b4cd918308;hp=20e909869c88028dd49dbdaa5b9fb3fa93afb098;hpb=30eee617c19239418299d6ff839fe48c63cc95e3;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