diff options
| author | François Pottier <francois.pottier@inria.fr> | 2015-10-19 18:39:27 +0200 |
|---|---|---|
| committer | François Pottier <francois.pottier@inria.fr> | 2015-10-23 12:55:36 +0200 |
| commit | e9ea9da494eeabfc459e7ba43f9f5ccb9a48dcf1 (patch) | |
| tree | 5988a2a944382e1dfbc1974e09bfbbe80cc0945d /cparser/Cabs.v | |
| parent | 4a088ba7c9f82d105b25935c1ff7abb07e72de6b (diff) | |
| download | compcert-e9ea9da494eeabfc459e7ba43f9f5ccb9a48dcf1.tar.gz compcert-e9ea9da494eeabfc459e7ba43f9f5ccb9a48dcf1.zip | |
Inlined [constant_expression] to save one state.
Diffstat (limited to 'cparser/Cabs.v')
0 files changed, 0 insertions, 0 deletions