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/lazy_trie.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/lazy_trie.h')
0 files changed, 0 insertions, 0 deletions