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 /theories/Strings/Ascii.v | |
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 'theories/Strings/Ascii.v')
0 files changed, 0 insertions, 0 deletions