diff options
| author |  Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2015-11-02 13:48:53 -0500 |
|---|---|---|
| committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2015-11-02 16:23:15 -0500 |
| commit | 739d8e50b3681491bd82b516dbbba892ac5b424b (patch) | |
| tree | 1df539e5128d1a51f63863ca04def121f5e9591b /tactics/eauto.ml4 | |
| parent | 5a5f2b4253b5834e09f43cb36a81ce6f53cc2da3 (diff) | |
Refresh rigid universes as well, and in 8.4 compatibility mode,
make them rigid to disallow minimization.
Diffstat (limited to 'tactics/eauto.ml4')
0 files changed, 0 insertions, 0 deletions