diff options
| author | Gaëtan Gilbert | 2019-06-26 12:12:44 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-06-26 18:01:00 +0200 |
| commit | 132de86d82dbf186ea645f704f699c00b505704b (patch) | |
| tree | bb56f8dd29f961bf4ebcf49931f841a7126a54a4 /dev/ci | |
| parent | d4aeb1ef92a9fc35b242a0d91488de60c24d7bbb (diff) | |
[proof] finalize_proof doesn't need opaque (it's already in entries)
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions