diff options
| author | Hugo Herbelin | 2017-05-19 21:14:36 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2017-05-19 21:21:34 +0200 |
| commit | 6ceaf0176b2a61cd2ed7b358af1e34349a8041ce (patch) | |
| tree | 54a83dd8725a4158cb1bda76e4cb3564852ebf3e /kernel/type_errors.ml | |
| parent | 98a927aefb6df05a957d94cf2fd22d88e9e6c6b6 (diff) | |
Moving "sym" on "eq" type to lib/util.ml.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions