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 /flocq/Core/Fcore_rnd_ne.v | |
parent | dfa2941c7df7641872464ff07466f754718df1c1 (diff) | |
download | compcert-581ac226fb42a0a005baa8941e5f39b181acc6cb.tar.gz compcert-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 'flocq/Core/Fcore_rnd_ne.v')
0 files changed, 0 insertions, 0 deletions