diff options
| author | Andres Noetzli <noetzli@stanford.edu> | 2017-01-04 09:20:34 -0800 |
|---|---|---|
| committer | Andres Nötzli <andres.noetzli@gmail.com> | 2017-01-18 13:07:43 -0800 |
| commit | a8a7949ec3e1a7f2a2d241d0fc58e08cbf4b7aec (patch) | |
| tree | b66b6806c1d2e20aeb986b0ca5dd7f01ce1cd640 /src/bindings | |
| parent | cf29fe25fa902c23e440c02abe945f8441c60ec8 (diff) | |
Fix non-idempotent rewrite in Array rewriter
This commit fixes bug 637 (
http://church.cims.nyu.edu/bugzilla3/show_bug.cgi?id=637 ) as
proposed in Bugzilla and adds the minified test case to the
regression tests.
Diffstat (limited to 'src/bindings')
0 files changed, 0 insertions, 0 deletions