diff options
| -rw-r--r-- | src/SymbolicToPure.ml | 4 |
1 files changed, 3 insertions, 1 deletions
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 = |