diff options
| author | François Pottier <francois.pottier@inria.fr> | 2015-11-23 18:06:43 +0100 |
|---|---|---|
| committer | François Pottier <francois.pottier@inria.fr> | 2015-11-23 18:06:43 +0100 |
| commit | e20490e57b6098c330187e51908b8e1b9975e72e (patch) | |
| tree | 844e2daefe379ae0b698163b8e140d0957b980b9 /cparser/pre_parser.mly | |
| parent | cf417332491f1c2a738705d4f1d874e4edd4d636 (diff) | |
| download | compcert-kvx-e20490e57b6098c330187e51908b8e1b9975e72e.tar.gz compcert-kvx-e20490e57b6098c330187e51908b8e1b9975e72e.zip | |
Fix a typo in a syntax error message.
Diffstat (limited to 'cparser/pre_parser.mly')
0 files changed, 0 insertions, 0 deletions