diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2022-02-18 16:49:08 +0100 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2022-02-18 16:49:08 +0100 |
commit | 965520037392fa6c523348e3ff9dff5b9d5c2313 (patch) | |
tree | bac4fe2ad596afb76cbbc164b07804624e31f9e6 /unit-tests/Tests_verit_tactics.v | |
parent | c13ff15571392b111ad0b335d10077ad7958d069 (diff) | |
download | smtcoq-965520037392fa6c523348e3ff9dff5b9d5c2313.tar.gz smtcoq-965520037392fa6c523348e3ff9dff5b9d5c2313.zip |
Remove deprecated and some warnings
Diffstat (limited to 'unit-tests/Tests_verit_tactics.v')
0 files changed, 0 insertions, 0 deletions