we begin the commit of the validation procedure

[helm.git] / helm / software / helena / src / xml / xmlCrg.ml

diff --git a/helm/software/helena/src/xml/xmlCrg.ml b/helm/software/helena/src/xml/xmlCrg.ml
index 45e33178a4ffacc651b4f1eb897e80e6326d36b1..c11614af56c4268ad7c4bdf93df7f5a44b0ab27d 100644 (file)
--- a/helm/software/helena/src/xml/xmlCrg.ml
+++ b/helm/software/helena/src/xml/xmlCrg.ml
@@ -66,7 +66,7 @@ let rec exp_term e t out tab = match t with
       XL.tag XL.lref attrs out tab
    | D.TGRef (a, n)       ->
       let a = Y.Name (U.name_of_uri n, true) :: a in
-      let attrs = [XL.uri n; XL.name a] in
+      let attrs = [XL.uri n; XL.name a; XL.apix a] in
       XL.tag XL.gref attrs out tab
    | D.TCast (a, u, t)    ->
       let attrs = [] in