diff options
author | xclerc <xavier.clerc@inria.fr> | 2013-11-28 11:12:58 +0100 |
---|---|---|
committer | xclerc <xavier.clerc@inria.fr> | 2013-11-28 11:12:58 +0100 |
commit | 26b42b8f300a6d11fc2e9880e349b17d03d46e31 (patch) | |
tree | 30c126e8180f35de91882d0cc78902dffb5dceb8 /proofs/proof.mli | |
parent | 5d041b0f1c416f5def8e82a64f7bdd77b5c36103 (diff) |
Testsuite: remove the logic for 'bugs/opened/shouldnotsucceed' (unused)
Diffstat (limited to 'proofs/proof.mli')
0 files changed, 0 insertions, 0 deletions