diff options
author | Jacques-Henri Jourdan <jacques-henri.jourdan@inria.fr> | 2015-10-08 17:27:31 +0200 |
---|---|---|
committer | Jacques-Henri Jourdan <jacques-henri.jourdan@inria.fr> | 2015-10-08 17:27:31 +0200 |
commit | e18d267e6912e18462472687abc014a3d04b9a37 (patch) | |
tree | e1588a7ac14d06eed34847251d41ad31fa0ada7c /cparser/Unblock.ml | |
parent | 7c8693320818d00b26b4c36c2a01a5fe67c0c71b (diff) | |
download | compcert-e18d267e6912e18462472687abc014a3d04b9a37.tar.gz compcert-e18d267e6912e18462472687abc014a3d04b9a37.zip |
other, simpler fix: the lexer emits 2 tokens for each identifier
Diffstat (limited to 'cparser/Unblock.ml')
0 files changed, 0 insertions, 0 deletions