From 039b84f49c8981955a079385357ccbc96d5aeb90 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 25 Jan 2022 12:25:23 +0100
Subject: Implement the forgotten Tuple case in
 SymbolicToPure.translate_expansion

---
 src/SymbolicToPure.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/SymbolicToPure.ml b/src/SymbolicToPure.ml
index bae2925b..57f43b4e 100644
--- a/src/SymbolicToPure.ml
+++ b/src/SymbolicToPure.ml
@@ -457,7 +457,9 @@ and translate_expansion (sv : V.symbolic_value) (exp : S.expansion)
                     let field_proj = gen_field_proj fid in
                     Let (Assignment (var, field_proj), e))
                   id_var_pairs branch
-          | T.Tuple -> raise Unimplemented
+          | T.Tuple ->
+              let vars = List.map (fun x -> Var x) vars in
+              Let (Deconstruct (vars, None, scrutinee), branch)
           | T.Assumed T.Box ->
               (* There should be exactly one variable *)
               let var =
-- 
cgit v1.2.3