diff options
author | François Pottier <francois.pottier@inria.fr> | 2015-10-07 15:43:52 +0200 |
---|---|---|
committer | François Pottier <francois.pottier@inria.fr> | 2015-10-23 12:49:47 +0200 |
commit | b371ea255077d700f848165a5834f104601e8253 (patch) | |
tree | 417da20fd0dde17183a6a9cd0790de4a9c274885 /cparser/Cleanup.ml | |
parent | e9ae100975a868a6e0e91a51ce54d243d52ab6c7 (diff) | |
download | compcert-b371ea255077d700f848165a5834f104601e8253.tar.gz compcert-b371ea255077d700f848165a5834f104601e8253.zip |
Added a phantom parameter to [declaration_specifiers].
This does not change the automaton at all.
It allows us to distinguish more easily between two contexts:
- the beginning of a declaration or function definition;
- the beginning of a parameter declaration.
This leads to better error messages.
Diffstat (limited to 'cparser/Cleanup.ml')
0 files changed, 0 insertions, 0 deletions