diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-02-19 19:47:27 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2018-02-19 19:47:27 -0500 |
| commit | 12c945d2d16053ee959430a60793f1db29ee2aaa (patch) | |
| tree | 9687aa22219376190e0db9a0c6ed5c877db9a829 /coqprime | |
| parent | 861a5245adb27d3beb7579d5fe38e344a6a17f07 (diff) | |
Fix balance on sub
With some help from @jadephilipoom
Previously, the carrying was removing the effect of `coef`, and we were
getting too small a balance.
Diffstat (limited to 'coqprime')
0 files changed, 0 insertions, 0 deletions