From d22f5d1ae5155c53b9cd0daf165dccb5d5563c1f Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 5 Jan 2022 18:36:47 +0100
Subject: Finish implementing eval_local_function_call_symbolic

---
 src/Values.ml | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'src/Values.ml')

diff --git a/src/Values.ml b/src/Values.ml
index 001c0347..ae9eb127 100644
--- a/src/Values.ml
+++ b/src/Values.ml
@@ -542,9 +542,6 @@ and typed_avalue = { value : avalue; ty : rty }
 type abs = {
   abs_id : (AbstractionId.id[@opaque]);
   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. 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 *)
 }
-- 
cgit v1.2.3