diff options
| author | François Pottier <francois.pottier@inria.fr> | 2015-10-22 18:09:36 +0200 |
|---|---|---|
| committer | François Pottier <francois.pottier@inria.fr> | 2015-10-22 18:10:12 +0200 |
| commit | 581ac226fb42a0a005baa8941e5f39b181acc6cb (patch) | |
| tree | 21f39be5bf22ed67db15693e5e1b6b421b6526ea /Makefile.menhir | |
| parent | dfa2941c7df7641872464ff07466f754718df1c1 (diff) | |
| download | compcert-kvx-581ac226fb42a0a005baa8941e5f39b181acc6cb.tar.gz compcert-kvx-581ac226fb42a0a005baa8941e5f39b181acc6cb.zip | |
Fix [Lexer.char_literal] and [Lexer.string_literal] to properly keep track of [lex_start_p].
This is required for Menhir to pick up the correct start position of the token.
Diffstat (limited to 'Makefile.menhir')
0 files changed, 0 insertions, 0 deletions