diff options
| author |  Matthieu Sozeau <mattam@mattam.org> | 2015-10-05 10:29:37 +0200 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@mattam.org> | 2015-10-05 10:30:25 +0200 |
| commit | 6f51b8cafe7a873600e7a0c8675a72a8aee40184 (patch) | |
| tree | cac93531f5f590e92c04fbe2867944fa2bb9590f /tactics/contradiction.mli | |
| parent | 2b033589d1b7900fdb86dfad145f1c284657ae8c (diff) | |
Univs: fix handling of evar_map in identity coercion construction.
Diffstat (limited to 'tactics/contradiction.mli')
0 files changed, 0 insertions, 0 deletions