]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #898 - christianpoveda:master, r=RalfJung
authorbors <bors@rust-lang.org>
Thu, 8 Aug 2019 21:10:09 +0000 (21:10 +0000)
committerbors <bors@rust-lang.org>
Thu, 8 Aug 2019 21:10:09 +0000 (21:10 +0000)
Use ldexp from cmath instead

Closes https://github.com/rust-lang/miri/issues/821
r? @RalfJung


Trivial merge