added an 'a parameter to mpresentation type so that it and boxes could

[helm.git] / helm / ocaml / cic_transformations / ast2pres.mli

diff --git a/helm/ocaml/cic_transformations/ast2pres.mli b/helm/ocaml/cic_transformations/ast2pres.mli
index 20e909869c88028dd49dbdaa5b9fb3fa93afb098..5b0e5a7403098a38ccd9064dad47a860ac897e6b 100644 (file)
--- 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