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 /Makefile.extr | |
| parent | b3d81f80a3e88adf2c8bd5eec7fe642497efd407 (diff) | |
| download | compcert-7f952a804eda8bac8d812800741b047550b1194b.tar.gz compcert-7f952a804eda8bac8d812800741b047550b1194b.zip | |
Cosmetic. Removed some spaces. Shared one redundant semantic action {}.
Diffstat (limited to 'Makefile.extr')
0 files changed, 0 insertions, 0 deletions