diff options
| author | Pierre-Marie Pédrot | 2020-05-12 11:50:45 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-05-12 11:52:04 +0200 |
| commit | e802f48faf7a472000e218c7a3321c10c2171e0f (patch) | |
| tree | a71008833307f5f0278d4f59201bcba9cf8e9690 /proofs | |
| parent | 007ed9e21f69a157ffff3fa5f990f62ab2756416 (diff) | |
Remove useless try-with blocks in congruence.
The inner body was not raising any exception since it was in the monad,
and even if it did so, the enter block would have caught it.
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions