From aa0b10a24b8e6b8323b0741e8573ba4fc6283409 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 20 Oct 2022 21:11:57 +0200
Subject: Fix the semantics of drop

---
 src/InterpreterPaths.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/InterpreterPaths.ml')

diff --git a/src/InterpreterPaths.ml b/src/InterpreterPaths.ml
index edd27138..16ab9aad 100644
--- a/src/InterpreterPaths.ml
+++ b/src/InterpreterPaths.ml
@@ -771,6 +771,7 @@ let rec copy_value (allow_adt_copy : bool) (config : C.config)
     
     [end_borrows]: if false, we only end the outer loans we find. If true, we
     end all the loans and the borrows we find.
+    TODO: end_borrows is not necessary anymore.
  *)
 let prepare_lplace (config : C.config) (end_borrows : bool) (p : E.place)
     (cf : V.typed_value -> m_fun) : m_fun =
-- 
cgit v1.2.3