diff options
author | Matthieu Sozeau <mattam@mattam.org> | 2015-12-02 17:52:07 +0100 |
---|---|---|
committer | Matthieu Sozeau <mattam@mattam.org> | 2015-12-02 17:52:07 +0100 |
commit | 2374a23fb7ebfa547eb16ce2ab8dc9efb2a3f855 (patch) | |
tree | 41ff206208c9602040fbeeeaf0d5c08f5cca2c7b /test-suite/check | |
parent | 42c68765690710b16f3e878bf1d914eaa75d8291 (diff) |
Univs/Program: update the universe context with global universe
constraints at the time of Next Obligation/Solve Obligations so that
interleaving definitions and obligation solving commands works properly.
Diffstat (limited to 'test-suite/check')
0 files changed, 0 insertions, 0 deletions