diff options
author | François Pottier <francois.pottier@inria.fr> | 2015-10-23 13:11:23 +0200 |
---|---|---|
committer | François Pottier <francois.pottier@inria.fr> | 2015-10-23 13:11:23 +0200 |
commit | dca619cc34e64e63fe36ec9b5acdb42aafe665a8 (patch) | |
tree | 636b46bf5443045317730e544296d3949cdc53bc /cparser/ErrorReports.ml | |
parent | 8fee5abd0a1d0865d3d3d4b4de48aacb4be0914e (diff) | |
download | compcert-dca619cc34e64e63fe36ec9b5acdb42aafe665a8.tar.gz compcert-dca619cc34e64e63fe36ec9b5acdb42aafe665a8.zip |
Lexer cleanup: isolate [lexer_wraper] and rename it to [lexer].
Diffstat (limited to 'cparser/ErrorReports.ml')
0 files changed, 0 insertions, 0 deletions