diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-14 09:33:34 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-14 09:33:34 -0500 |
commit | ca54910668960ea492e8dc12178648032c5df489 (patch) | |
tree | c1164f2123ed9c8d47d150222edef7febace8ab8 /src/printer/cvc | |
parent | e868c3d05660fe5d8dc1da8a104da850f4d101d5 (diff) |
Allow empty record literals (fixing an oversight in previous work on empty tuples/records)
Diffstat (limited to 'src/printer/cvc')
0 files changed, 0 insertions, 0 deletions