diff options
author | François Pottier <francois.pottier@inria.fr> | 2015-10-07 10:14:05 +0200 |
---|---|---|
committer | François Pottier <francois.pottier@inria.fr> | 2015-10-07 10:25:04 +0200 |
commit | 7b62517ea6cf0d132099d9a921950f97704e3b9c (patch) | |
tree | 1d4dc6d2a30bf3703f48a56b01d30514d6980ff9 /checklink/ELF_types.ml | |
parent | 7c4dd1467e62229689fe15656f4405f617edca1d (diff) | |
download | compcert-7b62517ea6cf0d132099d9a921950f97704e3b9c.tar.gz compcert-7b62517ea6cf0d132099d9a921950f97704e3b9c.zip |
For clarity, removed several redundant calls to [set_id_type].
A TYPEDEF_NAME is already classified as a [TypedefId] by the lexer,
and similarly, a VAR_NAME is already classified as a [VarId].
Thus, the removed calls had no effect.
The remaining calls to [set_id_type] are useful, as they can re-classify a token.
Diffstat (limited to 'checklink/ELF_types.ml')
0 files changed, 0 insertions, 0 deletions