diff options
| author | Robert Norton | 2016-02-10 11:20:12 +0000 |
|---|---|---|
| committer | Robert Norton | 2016-02-10 11:42:00 +0000 |
| commit | 77c30e20b0183513c3f639f59db69da8b8f81b0d (patch) | |
| tree | d9255253d56e9471d92d51971d96c76a3763ac5e /src/lem_interp/printing_functions.ml | |
| parent | 9982c33a97ef392bfc880f79717c14b8333034c3 (diff) | |
mips.sail: use exit whenever SignalException is called.
Diffstat (limited to 'src/lem_interp/printing_functions.ml')
0 files changed, 0 insertions, 0 deletions