Implement SymbolicToPure.typed_avalue_to_given_back

1 files changed, 2 insertions, 1 deletions

diff --git a/src/Pure.ml b/src/Pure.ml
index 1f66906d..566ba46b 100644
--- a/src/Pure.ml
+++ b/src/Pure.ml
@@ -74,7 +74,8 @@ type var_or_dummy = Var of var | Dummy  (** Ignored value: `_` *)
 (** A left value (which appears on the left of assignments *)
 type lvalue =
   | LvVar of var_or_dummy
-  | LvTuple of lvalue list  (** Rk.: for now we don't support general ADTs *)
+  | LvTuple of typed_lvalue list
+      (** Rk.: for now we don't support general ADTs *)
 
 and typed_lvalue = { value : lvalue; ty : ty }