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 /src/g_smtcoq.mlg | |
parent | c13ff15571392b111ad0b335d10077ad7958d069 (diff) | |
download | smtcoq-965520037392fa6c523348e3ff9dff5b9d5c2313.tar.gz smtcoq-965520037392fa6c523348e3ff9dff5b9d5c2313.zip |
Remove deprecated and some warnings
Diffstat (limited to 'src/g_smtcoq.mlg')
0 files changed, 0 insertions, 0 deletions