diff options
| author | Gaëtan Gilbert | 2019-05-16 13:59:25 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-05-16 13:59:25 +0200 |
| commit | 4197f42c15f0116eeb58df5b64b60f2fa6f6951f (patch) | |
| tree | a5f4721fed636fe0e6ac3ec58361b254860392fd /parsing/g_constr.mlg | |
| parent | e9c2bc9aaddd401d18d90411ff68644b1d05c0d5 (diff) | |
Cleanup Implicit_quantifiers.implicit_application
- fix misleading indentation
- simplify "let a, b = e in a, b" -> "e"
Diffstat (limited to 'parsing/g_constr.mlg')
0 files changed, 0 insertions, 0 deletions