diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2023-05-02 20:07:51 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2023-05-02 20:07:51 +0100 |
| commit | b6c4ef2b3e6762b09675c786b7444f9604b5240c (patch) | |
| tree | f1ec5d72bd81967b028c185027956794973f8162 /include | |
| parent | 6b61cb9130581300ede38f89dc184a88de436dac (diff) | |
| download | vericert-b6c4ef2b3e6762b09675c786b7444f9604b5240c.tar.gz vericert-b6c4ef2b3e6762b09675c786b7444f9604b5240c.zip | |
Fix warnings introduced by Coq 8.17
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions