diff options
| author | Thomas Bauereiss | 2019-03-07 14:57:15 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2019-03-07 15:15:14 +0000 |
| commit | dcceda3f662daebe00c3c4bfafa7f1083abea102 (patch) | |
| tree | 05a92993fc99fcae761b72258e2c2a0417d81eca /src/bytecode_util.ml | |
| parent | e9d0335845cf2caffd4b4626bdedb02732fd8141 (diff) | |
Also remove impossible if-branches
Diffstat (limited to 'src/bytecode_util.ml')
0 files changed, 0 insertions, 0 deletions