diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-11-01 15:39:39 -0500 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-11-01 15:39:39 -0500 |
commit | c5fac66c00c7f9dcc12fb82b1fb1cbdd074f8280 (patch) | |
tree | da59db17ebbf47d24cd767f3a8ac2339870ea7e4 /src/theory/sep/theory_sep.cpp | |
parent | 44528cd42df4153b67f85a7aab9c5e1a5c67fdf5 (diff) |
Make tuple and record names unique. Do not print internal datatype declaration in cvc printer.
Diffstat (limited to 'src/theory/sep/theory_sep.cpp')
0 files changed, 0 insertions, 0 deletions