diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-05-03 17:21:14 -0700 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-05-03 17:21:14 -0700 |
commit | b12aabf239e5d8087f7d74ebb405cbede2dcfcb5 (patch) | |
tree | 501f30555c3c9b703dd8b5759d8cb6437146bf1c /src/theory/quantifiers/sygus_sampler.h | |
parent | 4873b5e515d8b3e5e70c42c50e8f680b26ba2331 (diff) |
Fix printing of multiple datatypes
Due to a bug, CVC4 has been printing no separators between different
datatypes. Fixes #1868.
Diffstat (limited to 'src/theory/quantifiers/sygus_sampler.h')
0 files changed, 0 insertions, 0 deletions