diff options
author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-23 18:40:19 +0200 |
---|---|---|
committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-23 18:40:19 +0200 |
commit | 749d2beee61986a3464d81cd84097fbffe4affff (patch) | |
tree | 03c0fa35fa4015916c09914788ca8acb0086f760 /test | |
parent | 87e3508310e3e312e26f7d69357289a99242e243 (diff) | |
download | compcert-kvx-749d2beee61986a3464d81cd84097fbffe4affff.tar.gz compcert-kvx-749d2beee61986a3464d81cd84097fbffe4affff.zip |
rm spurious comment
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions