diff options
| author | Matthieu Sozeau | 2014-09-17 13:57:13 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-09-17 13:57:13 +0200 |
| commit | a4ad14610cc0baab46264b179c4b8057f40d52c7 (patch) | |
| tree | 75782f47ebe381d84ea66409569167f9ba229c78 /dev | |
| parent | 9de1edd730eeb3cada742a27a36bc70178eda6d8 (diff) | |
Revert "While resolving typeclass evars in clenv, touch only the ones that appear in the"
This reverts commit 9de1edd730eeb3cada742a27a36bc70178eda6d8.
Not the right way to do it. The evd shouldn't contain unrelated evars in the first place.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions