diff options
| author | Matthieu Sozeau | 2014-07-02 17:20:30 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-07-02 17:20:30 +0200 |
| commit | e3b9244d081bd83af4fcb17214847f8e0e4bc2a3 (patch) | |
| tree | 054f60e2706674f8c235492748d90c975effa8f2 /kernel | |
| parent | 2ce9f694faf3ea69b0eeb0a5b4214852bcbffc58 (diff) | |
In setoid_rewrite, force resolution of the contraints generated by rewriting only.
Do not mix it with resolution of user-introduced subgoals of typeclass type (bug found
in ATBR).
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions