diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-09-04 19:55:16 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-09-09 17:21:42 -0400 |
commit | 42d28850d4f2f4816af24dedf8d1cbd0a0d58b6f (patch) | |
tree | a1183f01ad74389d5e6c5d9c949e18d25f75d1cd /src/smt | |
parent | 9d0734cf73454ecfd51556ca84daaba9025b28f8 (diff) |
Support empty (and 1-ary) tuples and records.
Diffstat (limited to 'src/smt')
0 files changed, 0 insertions, 0 deletions