diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-02-12 10:27:32 +0100 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-02-12 10:28:47 +0100 |
| commit | 85f1d9ca4b10a80be6929c81e2e6ca4c7634f619 (patch) | |
| tree | ef82f402b15bbeca114a9c430c606b6a4e52084a /coq.itarget | |
| parent | 971f5d2ddff84a479022bb38af799f7e4166dea3 (diff) | |
TC: honor the use_typeclasses flag in pretyping
The coercion code was not seeing such flag and always trying
to resolve type classes. In particular open_contr is pretyped
without type classes.
Diffstat (limited to 'coq.itarget')
0 files changed, 0 insertions, 0 deletions