]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 435aca1 c905497)
Rollup merge of #55689 - RalfJung:miri-immediate, r=oli-obk
authorkennytm <kennytm@gmail.com>
Tue, 6 Nov 2018 07:21:07 +0000 (15:21 +0800)
committerkennytm <kennytm@gmail.com>
Tue, 6 Nov 2018 09:08:25 +0000 (17:08 +0800)
miri: binary_op_val -> binary_op_imm

Seems like this was overlooked during the value -> immediate rename.

r? @oli-obk


Trivial merge
Empowering everyone to build reliable and efficient software.