diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-04-21 13:37:08 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-04-21 13:37:08 +0200 |
| commit | c20644efdb39d62a225914636fb4e7816709ad9a (patch) | |
| tree | 41e2ed9bbbada3b1feb17df5f5ed989ed7f18124 /Changelog | |
| parent | 656525453ed4aea2a273f0d7503e4610741b6171 (diff) | |
| download | compcert-c20644efdb39d62a225914636fb4e7816709ad9a.tar.gz compcert-c20644efdb39d62a225914636fb4e7816709ad9a.zip | |
Avoid multiple errors being reported in the case #outputs >= 2.
Diffstat (limited to 'Changelog')
0 files changed, 0 insertions, 0 deletions