diff options
| author | Fabian Kunze | 2020-11-27 11:11:23 +0100 |
|---|---|---|
| committer | Fabian Kunze | 2020-11-27 12:16:40 +0100 |
| commit | c6cabd1ff266a91022eb86caf4a99e89c0626430 (patch) | |
| tree | 676ace0a7476e98dd34c5db6a66fa1896bfe58a8 /kernel/nativecode.mli | |
| parent | 66429ecca2cc28875ec37b879806744bd3a63179 (diff) | |
Improved error message on nested proofs
to include most common reason when this happens on accident
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions