diff options
author | François Pottier <francois.pottier@inria.fr> | 2015-10-07 11:44:43 +0200 |
---|---|---|
committer | François Pottier <francois.pottier@inria.fr> | 2015-10-07 11:44:43 +0200 |
commit | 7f952a804eda8bac8d812800741b047550b1194b (patch) | |
tree | 7cb714461cc42f8aadb82044d8c6886b7ef4b6cc /lib | |
parent | b3d81f80a3e88adf2c8bd5eec7fe642497efd407 (diff) | |
download | compcert-7f952a804eda8bac8d812800741b047550b1194b.tar.gz compcert-7f952a804eda8bac8d812800741b047550b1194b.zip |
Cosmetic. Removed some spaces. Shared one redundant semantic action {}.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions