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 /common/Behaviors.v | |
| 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 'common/Behaviors.v')
0 files changed, 0 insertions, 0 deletions