diff options
| author | Matthieu Sozeau | 2016-05-26 10:55:15 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2016-05-26 11:01:28 +0200 |
| commit | 4ae315f92e4a9849a56d3d9b0da33027f362d6e8 (patch) | |
| tree | f1a41706cd8de59b5ce215ff66f8107299fc791f /kernel/nativecode.ml | |
| parent | 62fa31d219dcf2129c55b3c46b8cc25be60edcab (diff) | |
Univs/Program/Function: Fix bug #4725
- In Program, a check_evars_are_solved was introduced
too early. Program does it's checking of evars by itself.
- In Function, the universe environments were not threaded
correctly.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions