diff options
| author |  Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2015-11-04 18:09:02 -0500 |
|---|---|---|
| committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2015-11-04 18:12:28 -0500 |
| commit | 7c102bb3a3798a234701fdc28a8e8ec28ee2549c (patch) | |
| tree | b75f8353b7a0ab3db161c77feb69636835bfba4a /checker/check.ml | |
| parent | 209faf81c432c39d4537f8b1dc5c9947d4349d30 (diff) | |
Univs: missing checks in evarsolve with candidates and missing a
whd_evar in refresh_universes.
Diffstat (limited to 'checker/check.ml')
0 files changed, 0 insertions, 0 deletions