Improve style w.r.t. if
commit74994c6577a7ea129106e1ef0d5e30d87ca0499c
authorPieter Wuille <pieter.wuille@gmail.com>
Tue, 10 Jan 2017 19:58:27 +0000 (10 11:58 -0800)
committerPieter Wuille <pieter.wuille@gmail.com>
Tue, 10 Jan 2017 19:58:27 +0000 (10 11:58 -0800)
treead2702decab71a573c99f5f4d2de1bb2e027ef87
parent5754e0341b7c033d4caf99534aca47e9981bd7ed
Improve style w.r.t. if
doc/developer-notes.md