diff options
| author | Matthieu Sozeau | 2015-03-03 15:47:24 +0100 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-03-03 15:49:42 +0100 |
| commit | 51b4d0cdad77f2874bd481dabd32e0772563dc3f (patch) | |
| tree | ec813c0fc816ca1446ef70e68151cdb889646f58 /plugins | |
| parent | ac62cda8a4f488b94033b108c37556877232137a (diff) | |
Fix bug #4103: forgot to allow unfolding projections of cofixpoints like
cases, in some cases.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions