X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fsyntax_extensions%2Fpa_unicode_macro.ml;h=d81ec21310b24edda459b1d7d47447783010219f;hb=9078eadc955930e7e37cfc2451a40416512c95fa;hp=436766862b714ba78af312270b60b669ef0c35f3;hpb=683978a2627cf1ce15673360f26806593d22f7b5;p=helm.git

diff --git a/helm/software/components/syntax_extensions/pa_unicode_macro.ml b/helm/software/components/syntax_extensions/pa_unicode_macro.ml
index 436766862..d81ec2131 100644
--- a/helm/software/components/syntax_extensions/pa_unicode_macro.ml
+++ b/helm/software/components/syntax_extensions/pa_unicode_macro.ml
@@ -51,9 +51,8 @@ EXTEND
            String.sub q (pos + 1) (String.length q - pos - 1))
         in
         debug_print (lazy (Printf.sprintf "QUOTATION = %s; ARG = %s" quotation arg));
-        if quotation = "unicode" then
-          let text = TXtok (loc, x, expand_unicode_macro arg) in
-          {used = []; text = text; styp = STlid (loc, "string")}
+        if quotation = "unicode" then 
+          AStok (loc, x, Some (ATexpr (loc, expand_unicode_macro arg)))
         else
           assert false
       ]