diff options
| author | Alasdair Armstrong | 2018-11-20 15:16:55 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-11-20 15:18:38 +0000 |
| commit | 71020c2f460e6031776df17cf8f2f71df5bb9730 (patch) | |
| tree | b4d442a93038de253fa4be14b61596a4936fd0fe /src/bytecode_util.ml | |
| parent | c249747d681cb8e4c15af3d48f9191aa24777b27 (diff) | |
Add messages for assert failures without user defined messages
Also fix some C optimisations
Diffstat (limited to 'src/bytecode_util.ml')
0 files changed, 0 insertions, 0 deletions