diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-17 09:54:15 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-17 09:54:15 -0400 |
| commit | 3afbf810287fb3f1a99ef907f91f5e93c3b93226 (patch) | |
| tree | 7272a8579e1dd49c18591b1edef64c9c8fad5609 /src/parser/bounded_token_factory.cpp | |
| parent | 36dd801660bad8fe1d967c887363f15dbe1bcc63 (diff) | |
Better error on illegal (pop N); also more compliant SMT-LIB error messages in some places
Thanks to David Cok for reporting these issues.
Diffstat (limited to 'src/parser/bounded_token_factory.cpp')
0 files changed, 0 insertions, 0 deletions