diff options
Diffstat (limited to 'src/boot/me')
| -rw-r--r-- | src/boot/me/trans.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml index 620b27e7..4fe63012 100644 --- a/src/boot/me/trans.ml +++ b/src/boot/me/trans.ml @@ -181,7 +181,7 @@ let trans_visitor match q with Il.Jmp _ -> flush_emitter_size_cache(); | _ -> () - end; + end; Il.emit (emitter()) q in |