From 81ad3b074728ac70ed61ecf723d45568181df42e Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 1 Dec 2021 14:04:26 +0100
Subject: Make a minor modification

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

(limited to 'src')

diff --git a/src/Interpreter.ml b/src/Interpreter.ml
index 03f31aee..c574ace4 100644
--- a/src/Interpreter.ml
+++ b/src/Interpreter.ml
@@ -1559,7 +1559,6 @@ let rec copy_value (config : C.config) (ctx : C.eval_ctx) (v : V.typed_value) :
       match bc with
       | SharedBorrow bid ->
           let ctx, bid' = C.fresh_borrow_id ctx in
-          (* TODO: clean indices *)
           let ctx = reborrow_shared config bid bid' ctx in
           (ctx, { v with V.value = V.Borrow (SharedBorrow bid') })
       | MutBorrow (_, _) -> failwith "Can't copy a mutable borrow"
-- 
cgit v1.2.3