diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-06-19 11:09:49 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-06-19 11:09:49 -0400 |
| commit | 010ad47b7b3e1909f31525fc45be2c27c1b72e45 (patch) | |
| tree | b18bf9b0724c6418dc57bf0d15a9db351f6f252e /.gitignore | |
| parent | c5177b11ad8cc5287fa7a8e65f78d5f6cfe23ead (diff) | |
Give a more useful parse error message for "undeclared variable -1".
Indeed, "-1" is a valid user symbol in SMT-LIB; this commit makes a small
change to the parser to detect when something like "-1" is used but
undeclared, and adds a note to the error message giving the syntax for
unary minus.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions