diff options
author | Son Ho | 2022-04-21 11:12:34 +0200 |
---|---|---|
committer | Son Ho | 2022-04-21 11:12:34 +0200 |
commit | 66862a29cf023ca4d586479a9690dc4f61d8573c (patch) | |
tree | 59103212e80b7561ffded9d612dde5ac01f043d3 /src/PureUtils.ml | |
parent | b33e4bfc7a32efc6ebbd385328e6350e0e5802bc (diff) |
Work on pretty names
Diffstat (limited to '')
-rw-r--r-- | src/PureUtils.ml | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/PureUtils.ml b/src/PureUtils.ml index 78ddf8aa..23bffa1d 100644 --- a/src/PureUtils.ml +++ b/src/PureUtils.ml @@ -64,10 +64,8 @@ let mk_typed_rvalue_from_var (v : var) : typed_rvalue = let ty = v.ty in { value; ty } -let mk_typed_lvalue_from_var (v : var) (mp : mplace option) - (mfrom_rvalue : typed_rvalue option) : typed_lvalue = - let mdplace = { place = mp; from_rvalue = mfrom_rvalue } in - let value = LvVar (Var (v, mdplace)) in +let mk_typed_lvalue_from_var (v : var) (mp : mplace option) : typed_lvalue = + let value = LvVar (Var (v, mp)) in let ty = v.ty in { value; ty } |