added docu comment

diff --git a/helm/ocaml/cic_transformations/mpresentation.mli b/helm/ocaml/cic_transformations/mpresentation.mli
index 60ba3c9e11f7eb19d2797f4039e05ecbcbdec934..e322e92e12de2c8dc433328372aea69c0cddb777 100644 (file)
--- a/helm/ocaml/cic_transformations/mpresentation.mli
+++ b/helm/ocaml/cic_transformations/mpresentation.mli
@@ -61,6 +61,7 @@ and 'a row = Mtr of attr * 'a mtd list
 
 and 'a mtd = Mtd of attr * 'a mpres
 
+  (** XML attribute: namespace, name, value *)
 and attr = (string option * string * string) list
 
 ;;