diff options
| author | Pierre-Marie Pédrot | 2020-05-12 12:58:35 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-05-12 12:58:35 +0200 |
| commit | 8bc79fd74ff347d93758ca5c088b085f721819fb (patch) | |
| tree | ceadf0318be2b5333df2cd5db46588d39e78ac9e /proofs | |
| parent | 65551cdf811a1bf428fcdc7e3e5c51df0fffcb78 (diff) | |
Remove useless try-with clauses in newring.
This is already protected by then enter block.
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions