diff options
| author | Matthieu Sozeau | 2016-10-29 12:37:46 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2016-11-03 16:26:40 +0100 |
| commit | d51c384e52003668bd97ca44da77a14c91e5cb14 (patch) | |
| tree | de591c962766ca0d826bec7620a35b41aa2730c7 /kernel | |
| parent | 0ab187ee578f0ef49ecf484278b8d3569630ee48 (diff) | |
Fix test-suite files relying on tcs bugs
- One was expecting shelved goals to remain after resolution (from refine).
- The other too were relying on the wrong classification of subgoals
as typeclass subgoals at toplevel.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions