From 19783cea9664e5ac0b14419b4aa961716010aafb Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 13 Jan 2022 21:32:06 +0100
Subject: Introduce "AIgnore" for the avalues

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

(limited to 'src/Values.ml')

diff --git a/src/Values.ml b/src/Values.ml
index 41d8bd85..707986f8 100644
--- a/src/Values.ml
+++ b/src/Values.ml
@@ -250,6 +250,7 @@ type avalue =
   | ALoan of aloan_content
   | ABorrow of aborrow_content
   | ASymbolic of aproj
+  | AIgnored  (** A value we don't own and thus ignore *)
 
 and adt_avalue = {
   variant_id : (VariantId.id option[@opaque]);
-- 
cgit v1.2.3