diff options
| author | Hugo Herbelin | 2015-03-30 15:35:04 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2015-08-02 19:13:51 +0200 |
| commit | 6737055d165c91904fc04534bee6b9c05c0235b1 (patch) | |
| tree | 3a907ec2601805286b485db8e4c0c8aa2f7f30ce /kernel/type_errors.ml | |
| parent | 342fed039e53f00ff8758513149f8d41fa3a2e99 (diff) | |
Cosmetic changes in evarconv.ml: hopefully using better self-documenting names.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions