summaryrefslogtreecommitdiff
path: root/src/Values.ml
diff options
context:
space:
mode:
Diffstat (limited to 'src/Values.ml')
-rw-r--r--src/Values.ml1
1 files changed, 1 insertions, 0 deletions
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]);