diff options
| author | Matthieu Sozeau | 2015-10-29 15:09:14 -0400 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-10-29 15:18:16 -0400 |
| commit | 78edfe09f34db4a28fb41a1f6fd3bb4922d09ec8 (patch) | |
| tree | 7352b064e999688b44b052b4593b48457e54a27c /dev | |
| parent | 7f8a31e21edd533ba12399b7ee5647ef30e38fe5 (diff) | |
Collect subproof universes in handle_side_effects.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions