summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/Expressions.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Expressions.ml b/src/Expressions.ml
index c0ee90a9..0246530b 100644
--- a/src/Expressions.ml
+++ b/src/Expressions.ml
@@ -4,6 +4,7 @@ open Values
type field_proj_kind =
| ProjAdt of TypeDefId.id * VariantId.id option
| ProjTuple of int
+(* arity of the tuple *)
type projection_elem =
| Deref