From 46205d1ef9c59e7db199bee3aaf8cd1a2dcd42f4 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 17 Dec 2021 15:52:35 +0100
Subject: Change the definition of abstract_shared_borrows

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

(limited to 'src/Interpreter.ml')

diff --git a/src/Interpreter.ml b/src/Interpreter.ml
index 708b1632..2a9db410 100644
--- a/src/Interpreter.ml
+++ b/src/Interpreter.ml
@@ -673,9 +673,8 @@ let rec apply_proj_borrows (regions : T.RegionId.set_t) (v : V.typed_value)
                 let bv = apply_proj_borrows regions bv ref_ty in
                 V.AIgnoredMutBorrow bv
             | V.SharedBorrow bid, T.Shared ->
-                (* TODO *)
+                (* TODO: we need the context to lookup the value *)
                 raise Unimplemented
-            (*              V.AIgnoredSharedBorrow bid*)
             | V.InactivatedMutBorrow _, _ ->
                 failwith
                   "Can't apply a proj_borrow over an inactivated mutable borrow"
-- 
cgit v1.2.3