diff options
| author | Alasdair Armstrong | 2017-12-05 20:00:26 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-12-05 20:00:26 +0000 |
| commit | 44e9396fa90ab68ee4c8d9674c6bbad6fc851c6d (patch) | |
| tree | 9d70ccdadfca9ecf0422ee4919b2729b03f42414 /src/pretty_print.mli | |
| parent | 680a5b9dc1db936536c6603aed065ccbd8eabeb5 (diff) | |
Better support for exceptions in sail for ASL specs that need them.
Diffstat (limited to 'src/pretty_print.mli')
0 files changed, 0 insertions, 0 deletions