diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2022-12-12 15:35:53 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2023-02-20 10:35:48 +0100 |
commit | 668d546f670996d22e5d2a2f6f83752a8254dc23 (patch) | |
tree | 7c334212b5da2456168ed636fc7e8cef4f8b9378 /flocq | |
parent | e306714815c33121ee165b5e8825ca1c8187fc96 (diff) | |
download | compcert-668d546f670996d22e5d2a2f6f83752a8254dc23.tar.gz compcert-668d546f670996d22e5d2a2f6f83752a8254dc23.zip |
Remove unused definition
Closes: #467
Diffstat (limited to 'flocq')
0 files changed, 0 insertions, 0 deletions