diff options
author | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2019-02-28 16:20:30 +0100 |
---|---|---|
committer | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2019-02-28 16:20:30 +0100 |
commit | a25181f93604e279b899552b119d68df0c63b0ad (patch) | |
tree | fcf69e5cdd62346b9d67a5c2e3bdb60eb0b0d8c3 /unit-tests/sat1.smt2 | |
parent | f479497576c11bc0fcc116ede778d1744be6d78e (diff) | |
download | smtcoq-a25181f93604e279b899552b119d68df0c63b0ad.tar.gz smtcoq-a25181f93604e279b899552b119d68df0c63b0ad.zip |
Re-fixes in Example.v
Diffstat (limited to 'unit-tests/sat1.smt2')
0 files changed, 0 insertions, 0 deletions