diff options
| author | Théo Zimmermann | 2017-09-27 18:41:09 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2017-09-27 18:44:41 +0200 |
| commit | ca9c0a1d3aa4a2c2dad3d5e5ff88b9bc324e71db (patch) | |
| tree | effa9eda2dc2d3fc2bc502cd1256390def2a88a0 /kernel/type_errors.ml | |
| parent | fb0c6f696b769b1a7348a7c777947cbae5dea356 (diff) | |
Remove catch-all try with in the beautifier.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions