From 11c1991d81e3ecdf3fb348416cb1650b02d8efe3 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 25 Jan 2022 21:55:19 +0100
Subject: Finish implementing SymbolicToPure.translate_end_abstraction

---
 src/Pure.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/Pure.ml')

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.
-- 
cgit v1.2.3