From ddd0a57c73d455ec1b5c704e66af22d4a713f8bb Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 23 Feb 2022 19:18:33 +0100
Subject: Make a minor modification

---
 src/PureMicroPasses.ml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/PureMicroPasses.ml b/src/PureMicroPasses.ml
index 40a4be56..092e6b0d 100644
--- a/src/PureMicroPasses.ml
+++ b/src/PureMicroPasses.ml
@@ -420,7 +420,8 @@ let inline_useless_var_reassignments (inline_named : bool) (inline_pure : bool)
                  *
                  * Also: we can always substitute if we substitute with
                  * a variable. If we substitute with a value we need to
-                 * check the path is empty (TODO: actually do a projection) *)
+                 * check that the path is empty.
+                 * TODO: actually do a projection *)
                 if is_var ne then
                   let var = as_var ne in
                   let p = { p with var } in
@@ -438,7 +439,7 @@ let inline_useless_var_reassignments (inline_named : bool) (inline_pure : bool)
           | Some ne -> (
               (* Substitute if the new expression is a value *)
               match ne.e with
-              | Value (nv, _) -> super#visit_rvalue env nv.value
+              | Value (nv, _) -> self#visit_rvalue env nv.value
               | _ -> (* Not a value *) super#visit_RvPlace env p)
         else (* TODO: project *)
           super#visit_RvPlace env p
-- 
cgit v1.2.3