diff options
author | Chantal Keller <Chantal.Keller@inria.fr> | 2020-04-01 12:30:43 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@inria.fr> | 2020-04-01 12:30:43 +0200 |
commit | ef0ae9cd013886345ae061212e01ef02c621a120 (patch) | |
tree | f954ab2dc5e1e547c86dad1d13e639bd389ee364 /src/trace | |
parent | 632b7b11b25f78461872f50621b325321678810c (diff) | |
download | smtcoq-ef0ae9cd013886345ae061212e01ef02c621a120.tar.gz smtcoq-ef0ae9cd013886345ae061212e01ef02c621a120.zip |
Compiles with Coq-8.11
Diffstat (limited to 'src/trace')
0 files changed, 0 insertions, 0 deletions