diff options
| author | Arnaud Spiwack | 2015-03-12 17:29:51 +0100 |
|---|---|---|
| committer | Arnaud Spiwack | 2015-03-13 16:41:03 +0100 |
| commit | caa1e9278136bbf2c9353eeb415d331eee99c172 (patch) | |
| tree | b6ecd59a29e218706c6583332e90104c3bc81723 /kernel | |
| parent | 2837753608c077b543467ad086d393dddf9c3f9d (diff) | |
Declarative mode: remove a superfluous [set_proof_mode].
It was probably creating bugs when trying to use [escape].
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions