diff options
| author | Guillaume Melquiond | 2017-09-14 11:18:26 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2017-09-14 11:18:26 +0200 |
| commit | ec4894148b06f743522081714db12bc07bd3ef46 (patch) | |
| tree | 14cf8cdab954722aeabf98d6655bfa265de42e8d /test-suite/complexity/constructor.v | |
| parent | a86bdf0cae05e46d5f0516f29254aeb72bf08de7 (diff) | |
Avoid extra failure in the "constructor" tactic (bug #5666).
This changes the implementation of "constructor" from
constructor 1 + ... + constructor n + fail
to
constructor 1 + ... + constructor n.
Diffstat (limited to 'test-suite/complexity/constructor.v')
0 files changed, 0 insertions, 0 deletions