diff options
| author | Matej Kosik | 2015-12-16 16:41:58 +0100 |
|---|---|---|
| committer | Matej Kosik | 2015-12-18 15:58:47 +0100 |
| commit | 5824a2c9362a6e33eb43b5e0e2c7572abeee2511 (patch) | |
| tree | 4ca1918717c59fb9bf1f6e16d22172dccf5b3030 /pretyping/typeclasses_errors.ml | |
| parent | 20641795624dbb03da0401e4dc503660e5e73df6 (diff) | |
CLEANUP: removing unnecessary alias
Diffstat (limited to 'pretyping/typeclasses_errors.ml')
0 files changed, 0 insertions, 0 deletions