diff options
| author | Arnaud Spiwack | 2013-12-04 15:47:49 +0100 |
|---|---|---|
| committer | Arnaud Spiwack | 2013-12-04 15:47:49 +0100 |
| commit | 461edf898d34a4e735fcaed50645480d8cbd0f7f (patch) | |
| tree | 773a5ffcec4411d612a42f40dcd672550783636d /plugins | |
| parent | 078efbe2dfff0b783cd35b0b3ab2354f554e95a6 (diff) | |
Stm: remove an assertion.
In the code which indents proof scripts, you cannot assume that a single goal is closed at a time (because of dependent subgoals).
This change had been lost in the rebase over the paral-itp commits in october.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions