Work on pretty names

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 }