diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-10-14 17:07:25 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-10-14 17:07:25 +0200 |
commit | abe0badbe84a90bae4f20541781609ed0ebb3fb9 (patch) | |
tree | 9ef79ba157b4b1ba20c89903a88454a3babbe341 /unit-tests/Tests_verit_tactics.v | |
parent | 38227d031b7b5d22fd1dfba0c250d9d176659d44 (diff) | |
download | smtcoq-abe0badbe84a90bae4f20541781609ed0ebb3fb9.tar.gz smtcoq-abe0badbe84a90bae4f20541781609ed0ebb3fb9.zip |
Small optim
Diffstat (limited to 'unit-tests/Tests_verit_tactics.v')
0 files changed, 0 insertions, 0 deletions