diff options
| author | Théo Zimmermann | 2017-02-24 20:13:57 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2017-03-13 16:35:44 +0100 |
| commit | 6d520f47e907010f556ef4ba24715607390460ef (patch) | |
| tree | ca5f3422470ca6b9220b612fdf58ce88b2d19ecc /dev | |
| parent | ecacc9af6100f76e95acc24e777026bfc9c4d921 (diff) | |
Remove a dead exception catching code.
The code was assuming that Proofview.tclFOCUS could raise a
CList.IndexOutOfRange exception but this isn't the case.
The focusing functions already catch this exception and
raises an algebraic exception within the tactic mechanism.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions