diff options
| author | Michael Schmidt <mschmidt@absint.com> | 2015-09-18 12:39:05 +0200 |
|---|---|---|
| committer | Michael Schmidt <mschmidt@absint.com> | 2015-09-18 12:39:05 +0200 |
| commit | 469badb1eb88b187ff39c9847b3b2316225fd421 (patch) | |
| tree | 0d20f4900f8a2eb72f59969380e316e4f1a5ee7c /cfrontend/Ctypes.v | |
| parent | b24913a4ad1014b7da42bdb1deb8f3cc05b0ed8d (diff) | |
| download | compcert-kvx-469badb1eb88b187ff39c9847b3b2316225fd421.tar.gz compcert-kvx-469badb1eb88b187ff39c9847b3b2316225fd421.zip | |
correct error message for __builtin_dcbtls
Diffstat (limited to 'cfrontend/Ctypes.v')
0 files changed, 0 insertions, 0 deletions