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 /isa/interface | |
parent | d0f7e50b70db1b88a561d9277c4bd9151383534f (diff) |
Removed dubious 'dont own process' error in proof-interrupt-process.
Diffstat (limited to 'isa/interface')
0 files changed, 0 insertions, 0 deletions