diff options
| author | Erik Martin-Dorel | 2019-10-20 22:17:03 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel | 2019-10-21 20:00:26 +0200 |
| commit | 2845bc2712604a3fab3b3a8497bb29b38acf2777 (patch) | |
| tree | b5659f59c202cabb71f5561d31b42cf6e608b87b /kernel/nativelambda.mli | |
| parent | 79df4c762ce0c04111957ef2b050aa087bf0a3b2 (diff) | |
chore: Enclose the […get_reflexive_proof_ssr…] call in a try/with->assert false
as suggested by @gares (the Not_found exc may be catched by coq/ssr otherwise).
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions