diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2017-04-24 10:14:19 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2017-04-24 10:14:19 -0500 |
| commit | bcfe5eed9c79e7bd3c32b5ce8e96a54bcff4099f (patch) | |
| tree | 384cf51506c77c99be142aaf60b99f95b02c4bdc /src/theory | |
| parent | 1c3a7726cc6748b5363c2569f99175a93ab35f27 (diff) | |
Fix parsing selectors for nullary constructors in smtlib 2.6 format.
Diffstat (limited to 'src/theory')
0 files changed, 0 insertions, 0 deletions