diff options
| author | Matthieu Sozeau | 2015-09-23 16:15:05 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-10-02 15:54:10 +0200 |
| commit | 836b9faa8797a2802c189e782469f8d2e467d894 (patch) | |
| tree | 726906d8cf8e6c2da302a473514ff98af70faa56 /kernel/nativecode.ml | |
| parent | 72c6588923dca52be7bc7d750d969ff1baa76c45 (diff) | |
Univs: fix evar_map leaks bugs in Function
The evar_map's that are used to typecheck terms must now always be
initialized with the global universe graphs using Evd.from_env, so any
failure to initialize and thread evar_map's correctly results in errors.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions