diff options
| author | Matej Kosik | 2015-12-16 15:34:05 +0100 |
|---|---|---|
| committer | Matej Kosik | 2015-12-18 15:58:19 +0100 |
| commit | c87c45877c7a9d571be5f215fac6de1ca7e3ca38 (patch) | |
| tree | f6985925a2b219c41264704448401d4ca555a2bd /pretyping/typeclasses_errors.ml | |
| parent | 9e8a9ab17d4467a4aa40f31eaef0800703d31418 (diff) | |
CLEANUP: removing unnecessary wrapper function
Diffstat (limited to 'pretyping/typeclasses_errors.ml')
0 files changed, 0 insertions, 0 deletions