diff options
| author |  Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2015-03-17 18:44:23 +0100 |
|---|---|---|
| committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2015-03-17 18:44:23 +0100 |
| commit | adb721441e9ff9bf7cdb1b4603628d95ca1f016a (patch) | |
| tree | da10d09179338729799ba253c6ac2e30b8dfbaf5 /tactics/elim.mli | |
| parent | 4d95eb4e878f375a69f1b48d8833801bf555fdd0 (diff) | |
Add function to fix the non-substituted universe variables of an evar_map.
Diffstat (limited to 'tactics/elim.mli')
0 files changed, 0 insertions, 0 deletions