X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fsyntax_extensions%2Fpa_unicode_macro.ml;h=a0051edfc9290491239f7407305ffaa2edd1e3fa;hb=2a4ee6db10333354003f6e3cd342298a82799ad4;hp=436766862b714ba78af312270b60b669ef0c35f3;hpb=2dc2c36139df472d2e3fcefc7b28d7f4e34d0c0c;p=helm.git

diff --git a/components/syntax_extensions/pa_unicode_macro.ml b/components/syntax_extensions/pa_unicode_macro.ml
index 436766862..a0051edfc 100644
--- a/components/syntax_extensions/pa_unicode_macro.ml
+++ b/components/syntax_extensions/pa_unicode_macro.ml
@@ -51,9 +51,12 @@ 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
+        if quotation = "unicode" then 
+          AStok (loc, x, Some (ATexpr (loc, expand_unicode_macro arg)))
+(*
           let text = TXtok (loc, x, expand_unicode_macro arg) in
           {used = []; text = text; styp = STlid (loc, "string")}
+*)
         else
           assert false
       ]