diff options
| author | Guillaume Melquiond | 2020-08-30 10:35:45 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2020-11-13 15:13:23 +0100 |
| commit | 2d3e012cce7ca41893d670196d3c90e7e315403e (patch) | |
| tree | 7e9be9def2269bfffd55c3dff1a92127c47ac47f /kernel/vmemitcodes.ml | |
| parent | 203211090f9e67750a0f953d6dbefe5045271921 (diff) | |
Remove unused if-then-else construct from VM.
Diffstat (limited to 'kernel/vmemitcodes.ml')
0 files changed, 0 insertions, 0 deletions