diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-11-05 22:28:18 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-05 22:28:18 -0600 |
commit | af18cd275f340d1896c3b635dbeecbea2e521db1 (patch) | |
tree | 438137ddb999a853b543baa70e8009da212c1e05 /src/theory/quantifiers/sygus/synth_conjecture.h | |
parent | ac8b2593bed81125cb1a494e4b8311e517d0e3d9 (diff) |
Simplify printing with respect to expression types (#5394)
This removes infrastructure for stream property related to printing type annotations on all variables.
This is towards refactoring the printers.
Diffstat (limited to 'src/theory/quantifiers/sygus/synth_conjecture.h')
0 files changed, 0 insertions, 0 deletions