Change the definition of abstract_shared_borrows

1 files changed, 1 insertions, 2 deletions

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"