diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-11-23 12:49:25 +0100 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-11-23 13:38:29 +0100 |
commit | b3b3bbe6a0c0693c2a4e154685d109282d4b6f07 (patch) | |
tree | 94860b7e6581f680b93bfb9c887df485577a6782 /test-suite/success/indelim.v | |
parent | 00a05aea070121103baba2c03485127369f24538 (diff) |
Partly revert commit d9681fb94a3e04a618e58cd09df9cee929170edc about
when the arguments of a constructor can be moved at the place of the
variable on which destruct or induction applies.
Diffstat (limited to 'test-suite/success/indelim.v')
0 files changed, 0 insertions, 0 deletions