diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-17 17:04:34 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-20 17:00:56 -0400 |
| commit | aef543d74c4fb23a86ad2986d67e7fc7f11d1feb (patch) | |
| tree | 61fa1130327fffd2c48e340c54b41f80445c0509 /src/compat/cvc3_compat.cpp | |
| parent | cb1871573012e12029b06674ccc13f143b09c8a4 (diff) | |
Fix parsing of SMT-LIBv2 |quoted| symbols that span newlines in interactive mode.
Thanks to David Cok for raising this issue.
Diffstat (limited to 'src/compat/cvc3_compat.cpp')
0 files changed, 0 insertions, 0 deletions