diff options
author | Quentin Garchery <garchery.quentin@gmail.com> | 2018-10-27 15:39:35 +0200 |
---|---|---|
committer | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2018-10-27 15:39:35 +0200 |
commit | 0334ceccaf14716d81db8a73f7d414d33b91cd8b (patch) | |
tree | 9880cfed3e65f2cc6eb7c063ee52c339f0412ed7 /unit-tests/sat4.smt2 | |
parent | db9bb4f7ba88c938e882f9a30c6456d73b793491 (diff) | |
download | smtcoq-0334ceccaf14716d81db8a73f7d414d33b91cd8b.tar.gz smtcoq-0334ceccaf14716d81db8a73f7d414d33b91cd8b.zip |
Zeq_bool -> Z.eqb
Diffstat (limited to 'unit-tests/sat4.smt2')
0 files changed, 0 insertions, 0 deletions