X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fcic_transformations%2Fmpresentation.mli;h=e322e92e12de2c8dc433328372aea69c0cddb777;hb=1bcad789810fd37d346e690f18557aeedc6fe08c;hp=60ba3c9e11f7eb19d2797f4039e05ecbcbdec934;hpb=e011e7cd08af361cb5de9c953bfc58b4cd918308;p=helm.git

diff --git a/helm/ocaml/cic_transformations/mpresentation.mli b/helm/ocaml/cic_transformations/mpresentation.mli
index 60ba3c9e1..e322e92e1 100644
--- 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
 
 ;;