BIG FAT WARNING: DEVELOPMENTS DIE HERE

[helm.git] / helm / software / components / syntax_extensions / pa_unicode_macro.ml

diff --git a/helm/software/components/syntax_extensions/pa_unicode_macro.ml b/helm/software/components/syntax_extensions/pa_unicode_macro.ml
index 436766862b714ba78af312270b60b669ef0c35f3..d81ec21310b24edda459b1d7d47447783010219f 100644 (file)
--- 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
       ]