diff options
| author | Matthieu Sozeau | 2015-10-14 15:57:42 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-10-14 17:06:49 +0200 |
| commit | 5009be2f117a5ef27733b7d6895503af91e9aa34 (patch) | |
| tree | 230e09bd12bc4bdc4ddb4d0f5403d1306e176c2f /kernel/nativecode.ml | |
| parent | 5b67ba8e1bbd92d4ef7e2adab13bd05e7b55bfd7 (diff) | |
When typechecking a lemma statement, try to resolve typeclasses before
failing for unresolved evars (regression).
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions