diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-17 09:27:55 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-17 09:27:55 -0400 |
commit | 36dd801660bad8fe1d967c887363f15dbe1bcc63 (patch) | |
tree | 948ee61a773e96ffee8d19a4a4e3599b4671c616 /library_versions | |
parent | 067f3f556a84c1af54d4ef2188d1b145d02b26e3 (diff) |
A couple of fixes to the get-option command for compliance with SMT-LIB.
Thanks to David Cok for reporting this issue.
Diffstat (limited to 'library_versions')
0 files changed, 0 insertions, 0 deletions