diff options
| author | Alasdair | 2019-01-22 03:08:46 +0000 |
|---|---|---|
| committer | Alasdair | 2019-01-22 03:09:27 +0000 |
| commit | 63a3cdcd18972cdc2b6fa24d6a2deb5cae7549cc (patch) | |
| tree | 7912ef0c4e1af79847c6245a8bf1efc847929dcc /src/sail_lib.ml | |
| parent | 8a3c75dfd07d7264a82450aaebce86b5e82c974b (diff) | |
Make sure we optimize constrained union constructors
Diffstat (limited to 'src/sail_lib.ml')
0 files changed, 0 insertions, 0 deletions