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 /plugins/decl_mode/decl_mode.ml | |
| parent | 2837753608c077b543467ad086d393dddf9c3f9d (diff) | |
Declarative mode: remove a superfluous [set_proof_mode].
It was probably creating bugs when trying to use [escape].
Diffstat (limited to 'plugins/decl_mode/decl_mode.ml')
0 files changed, 0 insertions, 0 deletions