diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-10-01 11:34:10 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-10-01 11:34:10 +0000 |
| commit | 9985c079f54f45020bdd5582b120ad0283a99b60 (patch) | |
| tree | 1a568d2601b71326a56850c8738592185c62ad53 /lego | |
| parent | d0f7e50b70db1b88a561d9277c4bd9151383534f (diff) | |
Removed dubious 'dont own process' error in proof-interrupt-process.
Diffstat (limited to 'lego')
0 files changed, 0 insertions, 0 deletions