Merge branch 'awoloszyn-fix-nocontract' into 'master'
authorPyry Haulos <phaulos@google.com>
Fri, 22 Jan 2016 19:06:26 +0000 (14:06 -0500)
committerPyry Haulos <phaulos@google.com>
Fri, 22 Jan 2016 19:06:26 +0000 (14:06 -0500)
Fix nocontraction cases.

They failed to take into account multiple rounding modes.

Fixes #245

See merge request !384


Trivial merge