diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2020-07-01 14:13:25 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2020-07-01 14:13:25 +0200 |
| commit | c94405f67ca18be997974f88ff91c072d8a5c0cb (patch) | |
| tree | 595ad6a85154f085b2622be979ffaea15cd4b11c /Makefile.extr | |
| parent | fde847543e8169082db0138a9713a8c0ab0cc167 (diff) | |
| download | compcert-c94405f67ca18be997974f88ff91c072d8a5c0cb.tar.gz compcert-c94405f67ca18be997974f88ff91c072d8a5c0cb.zip | |
Fix typo in name of builtin function.
Diffstat (limited to 'Makefile.extr')
0 files changed, 0 insertions, 0 deletions