diff options
| author | Robert Norton | 2017-04-04 10:34:42 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-04-06 12:35:10 +0100 |
| commit | edff4ba336735bcd1c244a4bd7fc8f5c4464e91b (patch) | |
| tree | 8e325f308136d435111ca4cf27e7f73ab0d71a9d /src/lem_interp | |
| parent | 619fbaa211e5a3bdea720e3c15e63de8533a464c (diff) | |
Implement exit by raising Sail_exit exception
Diffstat (limited to 'src/lem_interp')
0 files changed, 0 insertions, 0 deletions