diff options
| author | Matthieu Sozeau | 2020-12-01 08:57:54 +0100 |
|---|---|---|
| committer | Matthieu Sozeau | 2020-12-01 08:57:54 +0100 |
| commit | 36e2df30d23d56f0a80adcd3ed5c04d64117af74 (patch) | |
| tree | 4d0b70137e9ac2ac239413c48078d5f125431246 /dev | |
| parent | 0af89e4c04b1ecf437a86b50a34a17eddee56b76 (diff) | |
Use ~l2r:true to restore previous order of unfolding when typing predicates of cases.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions