diff options
| author | Hugo Herbelin | 2014-12-09 14:10:45 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2014-12-11 18:34:04 +0100 |
| commit | ccc7d1ec570e691a6824d9e6f43665f2eb4a1e3f (patch) | |
| tree | cf8be55eba3f902daeaf75694a4dfcdc94d17d67 /pretyping/pretype_errors.ml | |
| parent | 34cb1f6491017e4ed1a509f6b83b88a812ac425f (diff) | |
Fine-tuning unification error (using OccurCheck in evarconv).
Diffstat (limited to 'pretyping/pretype_errors.ml')
0 files changed, 0 insertions, 0 deletions