diff options
| author | Emilio Jesus Gallego Arias | 2018-03-03 01:38:19 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-03-08 21:15:33 +0100 |
| commit | 67091e1d155be19333c5e5bd2cc306792ca630d3 (patch) | |
| tree | 04d89c833d37447ee2a02852fb887aedac1edc81 /kernel | |
| parent | 3875a525ee1e075be9f0eb1f17c74726e9f38b43 (diff) | |
[compat] Remove "Refolding Reduction" option.
Following up on #6791, we remove support refolding in reduction.
We also update a test case that was not properly understood, see the
discussion in #6895.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions