diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-05-14 12:53:02 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-05-14 12:53:02 +0200 |
| commit | 5d017f110f6c23c29a182465ab7832a944c0ba26 (patch) | |
| tree | 225e396c9e236c602bfaf0e9148549c0516ea860 /cfrontend/Ctyping.v | |
| parent | 5634dce892b238afba7deed1d220e1faf71f99ea (diff) | |
| download | compcert-5d017f110f6c23c29a182465ab7832a944c0ba26.tar.gz compcert-5d017f110f6c23c29a182465ab7832a944c0ba26.zip | |
Make a register as storage specify to a fatal error.
Diffstat (limited to 'cfrontend/Ctyping.v')
0 files changed, 0 insertions, 0 deletions