diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-07-11 14:38:08 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-07-11 14:38:08 +0200 |
| commit | c76fa36e93277bae14de6d85712131f7e126e9e0 (patch) | |
| tree | a6c77b33ba0b16e5748e52301667ac5e3367231a /src/versions/standard/mutils_full.ml | |
| parent | efb1a48817405c6ad894d2088077f70c3d7eb15b (diff) | |
| download | smtcoq-c76fa36e93277bae14de6d85712131f7e126e9e0.tar.gz smtcoq-c76fa36e93277bae14de6d85712131f7e126e9e0.zip | |
The verit tactics now immediately fail if veriT is not installed
Diffstat (limited to 'src/versions/standard/mutils_full.ml')
0 files changed, 0 insertions, 0 deletions