diff options
| author | Matthieu Sozeau | 2014-07-16 00:38:42 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-07-16 00:40:06 +0200 |
| commit | 1ca444867477e471f2fd04c1abd610d3fceb96d9 (patch) | |
| tree | 346ac3f04dec8d7719bbef884162660ac1452428 /kernel | |
| parent | c236b51348d2a39d8f105ef0c4e8a53fabc6e285 (diff) | |
- Fix bug introduced in obligations which wouldn't consider all evars that are
given to the obligation making function.
- Fix handling of universe context when solve_by_tac is used.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions