diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-17 11:18:12 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-20 16:55:59 -0400 |
| commit | 3913e813456fc6cabb1208044fd36c92c0056385 (patch) | |
| tree | 0809c76ecd8302ea030c5e152370e4a4a8ec200c /NEWS | |
| parent | 611c12a19eaf359dd26da9d0a2b2e2215066180d (diff) | |
As per SMT-LIB standard: make - and xor take n>2 args and be left-assoc; => takes n>2 args and is right-assoc.
Thanks to David Cok for pointing out this issue.
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions