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/compat/cvc3_compat.cpp | |
| parent | 44528cd42df4153b67f85a7aab9c5e1a5c67fdf5 (diff) | |
Make tuple and record names unique. Do not print internal datatype declaration in cvc printer.
Diffstat (limited to 'src/compat/cvc3_compat.cpp')
0 files changed, 0 insertions, 0 deletions