diff options
| author | Thomas Bauereiss | 2019-01-23 14:28:31 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2019-01-23 14:31:31 +0000 |
| commit | 8883d3a5a516e65825ad844a8b985f8be79f4f89 (patch) | |
| tree | 1c7b126f8ca53330a1a508232a13c41b9bad8e8c /src/util.ml | |
| parent | 7ebe7fe5a37959b9004548b4287dbfc1f6faa087 (diff) | |
Add another flow-typing case for E_internal_plet
Copied from a corresponding case for E_block, so that this flow typing
still gets picked up after E_block has been rewritten away.
Diffstat (limited to 'src/util.ml')
0 files changed, 0 insertions, 0 deletions