diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/boot/me/type.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml index 10045e07..ff1bbd72 100644 --- a/src/boot/me/type.ml +++ b/src/boot/me/type.ml @@ -1589,8 +1589,9 @@ let process_crate (cx:ctxt) (crate:Ast.crate) : unit = let _ = iflog cx (fun _ -> - log cx "recording resolved lval #%d type %a" + log cx "recording resolved lval #%d = %a type %a" (int_of_node id) + Ast.sprintf_lval (Hashtbl.find cx.ctxt_all_lvals id) Ast.sprintf_ty ty) in Hashtbl.add cx.ctxt_all_lval_types id ty |