diff options
| author | Alasdair Armstrong | 2018-07-03 19:06:03 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-07-03 19:08:08 +0100 |
| commit | 53959905b8e4bfd4877c1e052195391d89bdb0d6 (patch) | |
| tree | 7f1717e5d584c9bf384f7d8244b386f2f6599154 /riscv/platform_impl.ml | |
| parent | c1c51761101cd9313df3b111accb6237e558f0d2 (diff) | |
Fix a bug in foreach loops
We should test before the first iteration in case 'to' starts out as
less than 'from'.
Diffstat (limited to 'riscv/platform_impl.ml')
0 files changed, 0 insertions, 0 deletions