X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2Fmpresentation.mli;h=83f243e6d3ba440bb1ab988ef3a5afe0a107f786;hb=b41886e9d21d756279bd6a2ec3f19c17b1a64401;hp=53df1fb1d59a85e2f89499da6d11f6c2cd4f0c9d;hpb=6f65a2e518d723ea722b23bfd9fa0162ff8be457;p=helm.git

diff --git a/helm/ocaml/cic_transformations/mpresentation.mli b/helm/ocaml/cic_transformations/mpresentation.mli
index 53df1fb1d..83f243e6d 100644
--- a/helm/ocaml/cic_transformations/mpresentation.mli
+++ b/helm/ocaml/cic_transformations/mpresentation.mli
@@ -73,6 +73,6 @@ val two_rows_table_with_brackets : attr -> mpres -> mpres -> mpres -> mpres
 val two_rows_table_without_brackets : attr -> mpres -> mpres -> mpres -> mpres
 val row_with_brackets : attr -> mpres -> mpres -> mpres -> mpres
 val row_without_brackets : attr -> mpres -> mpres -> mpres -> mpres
-val print_mpres :
-  mpres -> Xml.token Stream.t
+val print_mpres : mpres -> Xml.token Stream.t
+val document_of_mpres : mpres -> Xml.token Stream.t