diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-06-15 19:49:07 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-06-15 19:49:07 +0200 |
| commit | 375c844efb8b91d4ff1dce08ed25f55ddef231d7 (patch) | |
| tree | d4c6a7ccfe028e9e7544076fa5f21452b94f2710 /Makefile | |
| parent | 070babeff47562a72d6a58dd70fc7ac1bcbf205c (diff) | |
| download | compcert-kvx-375c844efb8b91d4ff1dce08ed25f55ddef231d7.tar.gz compcert-kvx-375c844efb8b91d4ff1dce08ed25f55ddef231d7.zip | |
SimplExpr: remove unused definition "sd_cast_set"
Follow-up to commit 070babef.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions