diff options
| author |  Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2014-03-10 17:21:33 +0100 |
|---|---|---|
| committer | Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2014-03-17 09:56:55 +0100 |
| commit | f54a20232b2f37f01964f16342f2a84960ab4176 (patch) | |
| tree | fd7588f6a2ed8f312fae35a75c420b7936c99c6d /library/library.ml | |
| parent | 9aea915f9927e29cbd57bd934220821e24c36c12 (diff) | |
Evarconv: exact_ise_stack looks to stack head before bodies or branches
the order of the inspection is a "random" choise but going back to the old
behavior makes the compilation of ssreflect/rat.v 5 times faster ...
Diffstat (limited to 'library/library.ml')
0 files changed, 0 insertions, 0 deletions