diff options
| author | Gaëtan Gilbert | 2020-11-02 15:03:09 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-11-02 15:03:09 +0100 |
| commit | 225a4ee2871b58661f9689255237a1e189ee6a4c (patch) | |
| tree | 4901f319b8babc4e5bc24e6a3a3d3fa68cb21e35 /interp/implicit_quantifiers.ml | |
| parent | 1280a492b87f02aac8c8f8496ebd42039762d7e4 (diff) | |
Nicer spacing when printing array literals
From
[|x; y; z | def : ty |]
to
[| x; y; z | def : ty |]
Diffstat (limited to 'interp/implicit_quantifiers.ml')
0 files changed, 0 insertions, 0 deletions