diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-07-17 20:34:34 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-07-17 20:34:34 +0000 |
| commit | 159a9a457761d47077bf45e82daedf7e6883f3fc (patch) | |
| tree | 5de3b7d755f2ed627fa9acec5b3895da03c31f08 /src/parser/bounded_token_buffer.cpp | |
| parent | 1f8da4ffd0887a095994392087d76f376ac006d2 (diff) | |
fix an obvious oversight: "distinct" wasn't part of the SMT2 core theory---but this only gave trouble in strict parsing mode
Diffstat (limited to 'src/parser/bounded_token_buffer.cpp')
0 files changed, 0 insertions, 0 deletions