diff options
| author | François Pottier <francois.pottier@inria.fr> | 2015-10-23 13:04:34 +0200 |
|---|---|---|
| committer | François Pottier <francois.pottier@inria.fr> | 2015-10-23 13:04:34 +0200 |
| commit | 883ebf950a4ef38788792cb1129fb9c408225ad3 (patch) | |
| tree | 118872ed934832bd4f11f7f34b430993c5af9765 /cparser/Lexer.mll | |
| parent | 073e50a2b795f68e59075d6e365e72b4bd2417c1 (diff) | |
| download | compcert-kvx-883ebf950a4ef38788792cb1129fb9c408225ad3.tar.gz compcert-kvx-883ebf950a4ef38788792cb1129fb9c408225ad3.zip | |
Added an %on_error_reduce declaration.
This affects in which states errors are detected,
but does not change the language that is accepted.
Diffstat (limited to 'cparser/Lexer.mll')
0 files changed, 0 insertions, 0 deletions