diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2019-03-05 17:18:15 +0100 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2019-03-05 17:18:15 +0100 |
| commit | 33010bfa6345549d8b9b0c06f44150b60d0c86e5 (patch) | |
| tree | 343dcf7c5dd696bd69610e7b0b464dcd70c4ca60 /src/smtlib2/smtlib2_genConstr.ml | |
| parent | b96d222d47da5c5d59b65dfa152e255b7a4f7b46 (diff) | |
| download | smtcoq-33010bfa6345549d8b9b0c06f44150b60d0c86e5.tar.gz smtcoq-33010bfa6345549d8b9b0c06f44150b60d0c86e5.zip | |
No hard-coded paths to executables (fixes #37)
Diffstat (limited to 'src/smtlib2/smtlib2_genConstr.ml')
0 files changed, 0 insertions, 0 deletions