From c16ad7c78a149d3fd62976f4eb17d07a9c03b8c6 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 7 Jan 2022 15:04:11 +0100
Subject: Factorize initialize_symbolic_context_for_fun and
 eval_function_call_symbolic_from_inst_sig and make minor modifications

---
 src/Values.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/Values.ml')

diff --git a/src/Values.ml b/src/Values.ml
index 53851cea..bcb08dc8 100644
--- a/src/Values.ml
+++ b/src/Values.ml
@@ -564,7 +564,8 @@ type abs = {
   parents : (AbstractionId.set_t[@opaque]);  (** The parent abstractions *)
   regions : (RegionId.set_t[@opaque]);  (** Regions owned by this abstraction *)
   ancestors_regions : (RegionId.set_t[@opaque]);
-      (** Union of the regions owned by this abstraction and its ancestors *)
+      (** Union of the regions owned by this abstraction's ancestors (not
+          including the regions of this abstraction itself) *)
   avalues : typed_avalue list;  (** The values in this abstraction *)
 }
 [@@deriving
-- 
cgit v1.2.3