Finish implementing SymbolicToPure.translate_end_abstraction

1 files changed, 2 insertions, 2 deletions

diff --git a/src/Pure.ml b/src/Pure.ml
index 504f2c11..45907610 100644
--- a/src/Pure.ml
+++ b/src/Pure.ml
@@ -126,8 +126,8 @@ type left_value = unit
 type let_bindings =
   | Call of typed_lvalue list * call
       (** The called function and the tuple of returned values. *)
-  | Assignment of var * typed_rvalue
-      (** Variable assignment: the introduced variable and the place we read *)
+  | Assign of typed_lvalue * typed_rvalue
+      (** Variable assignment: the introduced pattern and the place we read *)
   | Deconstruct of
       var_or_dummy list * (TypeDefId.id * VariantId.id) option * typed_rvalue
       (** This is used in two cases.