diff options
| author | Kathy Gray | 2015-07-01 11:02:01 +0100 |
|---|---|---|
| committer | Kathy Gray | 2015-07-01 11:02:01 +0100 |
| commit | 1e063c15e4895dddac394511c94bc8b1f634fa5c (patch) | |
| tree | 359f07c06cead2a5d971d6284049dff422d31e20 /src/sail_lib.ml | |
| parent | 67aabe1c9d7633fe89640482225aaa93f4c0704d (diff) | |
Go on despite the presence of an exit in exhaustive mode
Diffstat (limited to 'src/sail_lib.ml')
0 files changed, 0 insertions, 0 deletions