diff options
Diffstat (limited to 'src/boot/me/trans.ml')
| -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 3948fbd6..069fdb59 100644 --- a/src/boot/me/trans.ml +++ b/src/boot/me/trans.ml @@ -4199,7 +4199,7 @@ let trans_visitor and maybe_init (id:node_id) (action:string) (dst:Ast.lval) : bool = - let b = Hashtbl.mem cx.ctxt_copy_stmt_is_init id in + let b = Hashtbl.mem cx.ctxt_stmt_is_init id in let act = if b then ("initializing-" ^ action) else action in iflog (fun _ -> |