diff options
| author | Matej Kosik | 2015-11-05 15:42:17 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-12-10 09:35:15 +0100 |
| commit | 0ad9953cfacda53dea9b08f3b5b60ee5531b0850 (patch) | |
| tree | bb42b51212104838d06113b3cc8cbaa67a0f04f2 /kernel/subtyping.ml | |
| parent | d95fd157ac6600f4784de44ef558c4880aed624b (diff) | |
CLEANUP: removing duplicate paragraph
Diffstat (limited to 'kernel/subtyping.ml')
0 files changed, 0 insertions, 0 deletions