Make good progress on eval_local_function_call_symbolic

1 files changed, 1 insertions, 1 deletions

diff --git a/src/Values.ml b/src/Values.ml
index 0239da5e..001c0347 100644
--- a/src/Values.ml
+++ b/src/Values.ml
@@ -544,7 +544,7 @@ type abs = {
   parents : (AbstractionId.set_t[@opaque]);  (** The parent abstractions *)
   acc_regions : (RegionId.set_t[@opaque]);
       (** Union of the regions owned by the (transitive) parent abstractions and
-          by the current abstraction *)
+          by the current abstraction. TODO: why do we need those? *)
   regions : (RegionId.set_t[@opaque]);  (** Regions owned by this abstraction *)
   avalues : typed_avalue list;  (** The values in this abstraction *)
 }