Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
cparser
Lexer.mll
Find file
Blame
History
Permalink
other, simpler fix: the lexer emits 2 tokens for each identifier
· e18d267e
Jacques-Henri Jourdan
authored
Oct 08, 2015
e18d267e