From 66862a29cf023ca4d586479a9690dc4f61d8573c Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 21 Apr 2022 11:12:34 +0200
Subject: Work on pretty names

---
 src/PureUtils.ml | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'src/PureUtils.ml')

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 }
 
-- 
cgit v1.2.3