diff options
| author | Gaëtan Gilbert | 2018-10-11 16:06:33 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-11-02 13:26:16 +0100 |
| commit | e6f90b09efa854a663706a911847b8626485ee07 (patch) | |
| tree | 9496b745b1162920b5f1b809dba2998052df1d33 /kernel/type_errors.ml | |
| parent | 5c9e05a36fc27413579c49df4994def20811cdff (diff) | |
Remove evdref style in build_combined_scheme
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions