diff options
| author | David Aspinall | 2009-09-10 22:31:13 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-10 22:31:13 +0000 |
| commit | fd9544327956e2ac0ae6eff9845bc379f941de6f (patch) | |
| tree | 8410f7cb539c858d8357efd6345ebaaa6d86f5f4 /lib | |
| parent | 2242c8ec1ea3886d4b1d73ef534ba9763031f6ad (diff) | |
proof-retract-until-point: protect against finding no span at all
(mask current bug in Coq code)
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions