else
let jkind = Ata.top_down_approx auto states tree in
let jump = translate_jump tree tag jkind dir states in
- LOG("level2-jit", 2,
- __ "Computed jumps for %s %a %s: %a\n%!"
+ LOG(__ "level2-jit" 2
+ "Computed jumps for %s %a %s: %a\n%!"
(Tag.to_string tag)
StateSet.print states
(if dir == DIR_LEFT then "left" else "right")