diff options
Diffstat (limited to 'src/boot/me')
| -rw-r--r-- | src/boot/me/type.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml index b364ff56..10045e07 100644 --- a/src/boot/me/type.ml +++ b/src/boot/me/type.ml @@ -1192,7 +1192,9 @@ let process_crate (cx:ctxt) (crate:Ast.crate) : unit = | Ast.STMT_log atom -> begin match atom with - Ast.ATOM_lval lv -> set_auto_deref lv true + Ast.ATOM_lval lv -> + unify_lval rval_ctx lv (any()); + set_auto_deref lv true | _ -> () end |