diff options
Diffstat (limited to 'src/jib/jib_smt.ml')
| -rw-r--r-- | src/jib/jib_smt.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/jib/jib_smt.ml b/src/jib/jib_smt.ml index 8797f78d..725d2a89 100644 --- a/src/jib/jib_smt.ml +++ b/src/jib/jib_smt.ml @@ -313,8 +313,6 @@ let rec smt_value ctx vl ctyp = else Real_lit str | VL_enum str, _ -> Enum (Util.zencode_string str) - | VL_tuple vls, CT_tup ctyps when List.length vls = List.length ctyps -> - Fn ("tup" ^ string_of_int (List.length vls), List.map2 (smt_value ctx) vls ctyps) | VL_ref reg_name, _ -> let id = mk_id reg_name in let rmap = CTMap.filter (fun ctyp regs -> List.exists (fun reg -> Id.compare reg id = 0) regs) ctx.register_map in |