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 /powerpc/ConstpropOpproof.v | |
parent | fde847543e8169082db0138a9713a8c0ab0cc167 (diff) | |
download | compcert-c94405f67ca18be997974f88ff91c072d8a5c0cb.tar.gz compcert-c94405f67ca18be997974f88ff91c072d8a5c0cb.zip |
Fix typo in name of builtin function.
Diffstat (limited to 'powerpc/ConstpropOpproof.v')
0 files changed, 0 insertions, 0 deletions