Commit ce53c58e authored by Jérôme Maloberti's avatar Jérôme Maloberti

Fix a bug with wildcard for namespaces (ns:*).

parent be4cb4d2
......@@ -80,8 +80,9 @@ module Token = struct
let extract_string =
function
| KEYWORD s | IDENT s | INT s | STRING1 s | STRING2 s -> s
| tok ->
| KEYWORD s | IDENT s | INT s | STRING1 s | STRING2 s |
ANY_IN_NS -> s
| tok ->
invalid_arg ("Cannot extract a string from this token: "^
to_string tok)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment