diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-10-09 14:30:03 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-10-09 14:30:03 +0100 |
commit | f06e5fc0ee651c3ffe357c3c3302ca1517381b4c (patch) | |
tree | 15821bec5295bc84b95bd44b00e0d192c58c36fe /src/CoqUp/Tactics.v | |
parent | ce3adde4b50ba04430a1cf0ffb0ea85168091746 (diff) | |
download | vericert-kvx-f06e5fc0ee651c3ffe357c3c3302ca1517381b4c.tar.gz vericert-kvx-f06e5fc0ee651c3ffe357c3c3302ca1517381b4c.zip |
Fix warnings for Coq 8.13.2
Diffstat (limited to 'src/CoqUp/Tactics.v')
0 files changed, 0 insertions, 0 deletions