diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-17 08:51:36 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-20 16:53:50 -0400 |
commit | 3a34a4827c4188db9bd0274b34d4188aee00fff2 (patch) | |
tree | 4f4819622c5f1bdb79c5f06b96be562da58afa37 /src/decision/Makefile | |
parent | d4fb7022845f3ec595cff3fb1b6324e2364d25d3 (diff) |
Fixed "success" response to (push N) / (pop N) with N > 1.
Thanks to David Cok for reporting this issue.
Diffstat (limited to 'src/decision/Makefile')
0 files changed, 0 insertions, 0 deletions