diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2016-03-21 11:07:43 +0100 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2016-03-21 11:07:43 +0100 |
commit | fa38b7c9d97efe4fed2da75b7c217788d1500eeb (patch) | |
tree | 0c1cdd166a536352c6eef6d75c883421989b81c7 /unit-tests/Tests_verit.v | |
parent | bfce2747a747f48465fe32c3d29304ca6e774f25 (diff) | |
download | smtcoq-fa38b7c9d97efe4fed2da75b7c217788d1500eeb.tar.gz smtcoq-fa38b7c9d97efe4fed2da75b7c217788d1500eeb.zip |
Solved a dependency problem for the compilation with Coq 8.5
Diffstat (limited to 'unit-tests/Tests_verit.v')
0 files changed, 0 insertions, 0 deletions