diff options
| author | Hugo Herbelin | 2020-11-26 21:44:30 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2020-11-26 21:44:30 +0100 |
| commit | 405e63c69f8cc00c7edcc07599fcd5abd44024ba (patch) | |
| tree | d2711e5a18bbfca1c4633582afc37b2141e27489 /tactics/equality.ml | |
| parent | 7f3c46acc937eb9257c29b5881e5a8b17b28cd48 (diff) | |
Reactivate test-suite on MacOS X, accidently merged in #13476.
Diffstat (limited to 'tactics/equality.ml')
0 files changed, 0 insertions, 0 deletions