ocaml 3.09 transition

[helm.git] / helm / ocaml / cic_notation / mpresentation.mli

diff --git a/helm/ocaml/cic_notation/mpresentation.mli b/helm/ocaml/cic_notation/mpresentation.mli
index e322e92e12de2c8dc433328372aea69c0cddb777..8252517a67ae1eb04912f116f8ad4260423540dc 100644 (file)
--- a/helm/ocaml/cic_notation/mpresentation.mli
+++ b/helm/ocaml/cic_notation/mpresentation.mli
@@ -66,6 +66,9 @@ and attr = (string option * string * string) list
 
 ;;
 
+val get_attr: 'a mpres -> attr
+val set_attr: attr -> 'a mpres -> 'a mpres
+
 val smallskip : 'a mpres 
 val indented : 'a mpres -> 'a mpres
 val standard_tbl_attr : attr