diff options
| author | Hugo Herbelin | 2015-03-30 15:43:56 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2015-08-02 19:13:51 +0200 |
| commit | fe340267b0c2082b3af8bc965f7bc0e86d1c3c2c (patch) | |
| tree | 2216811759d98065347041e5dbb19d1caaffd37e /kernel/type_errors.ml | |
| parent | d9b13d0a74bc0c6dff4bfc61e61a3d7984a0a962 (diff) | |
Cosmetic changes in evarconv.ml: hopefully more regular names and form
of arguments of eta_constructor.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions