- | ident { ID (L.lexeme lexbuf) }
- | conuri { CONURI (U.uri_of_string ("cic:" ^ L.lexeme lexbuf)) }
- | varuri { VARURI (U.uri_of_string ("cic:" ^ L.lexeme lexbuf)) }
- | indtyuri { INDTYURI (indtyuri_of_uri ("cic:" ^ L.lexeme lexbuf)) }
- | indconuri { INDCONURI (indconuri_of_uri("cic:" ^ L.lexeme lexbuf)) }
+ | ident { ID (unquote (L.lexeme lexbuf)) }
+ | conuri { CONURI
+ (U.uri_of_string ("cic:" ^ (unquote (L.lexeme lexbuf)))) }
+ | varuri { VARURI
+ (U.uri_of_string ("cic:" ^ (unquote (L.lexeme lexbuf)))) }
+ | indtyuri { INDTYURI
+ (indtyuri_of_uri ("cic:" ^ (unquote (L.lexeme lexbuf)))) }
+ | indconuri { INDCONURI
+ (indconuri_of_uri("cic:" ^ (unquote (L.lexeme lexbuf)))) }