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 /contrib/competitions/sygus-comp | |
| 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 'contrib/competitions/sygus-comp')
0 files changed, 0 insertions, 0 deletions