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 /lib | |
parent | 656525453ed4aea2a273f0d7503e4610741b6171 (diff) | |
download | compcert-c20644efdb39d62a225914636fb4e7816709ad9a.tar.gz compcert-c20644efdb39d62a225914636fb4e7816709ad9a.zip |
Avoid multiple errors being reported in the case #outputs >= 2.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions