From a5959cbbf1c4d1fe24a5019a9b01b4b54211261a Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 22 Nov 2021 19:53:50 +0100
Subject: Uncomment read_place

---
 src/Interpreter.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Interpreter.ml b/src/Interpreter.ml
index ff19b3f6..638e8b45 100644
--- a/src/Interpreter.ml
+++ b/src/Interpreter.ml
@@ -591,7 +591,6 @@ let rec read_projection (config : config) (access : path_access) (env : env)
       (* Entering loans failed *)
       | res -> res)
 
-(*
 (** Read the value at the end of a place *)
 let read_place (config : config) (access : path_access) (p : place) (env0 : env)
     : typed_value path_access_result =
@@ -605,6 +604,7 @@ let read_place (config : config) (access : path_access) (p : place) (env0 : env)
   in
   read_in_env env0
 
+(*
 (** Update the value at the end of a projection *)
 let rec write_projection (config : config) (nv : typed_value) (p : projection)
     (v : typed_value) : typed_value path_access_result =
-- 
cgit v1.2.3