diff options
author | Alix Trieu <atrieu@users.noreply.github.com> | 2019-04-09 16:41:34 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-04-15 14:54:54 +0200 |
commit | b2965fa033073c46fbc0e27900598a88580d2197 (patch) | |
tree | f85b775503da3054ead957b03fe1b7fdc5c9cb64 /test/c/knucleotide.c | |
parent | 7361c01f5df99e36f700b8257115fc96f2fff779 (diff) | |
download | compcert-b2965fa033073c46fbc0e27900598a88580d2197.tar.gz compcert-b2965fa033073c46fbc0e27900598a88580d2197.zip |
Fix typo in section name in Selectionproof.v
SEL_SWITH_INT -> SEL_SWITCH_INT
Diffstat (limited to 'test/c/knucleotide.c')
0 files changed, 0 insertions, 0 deletions