subject:"\[wide\-int\] Fix some formatting"

Re: [wide-int] Fix some formatting

2013-11-09 Thread Mike Stump

On Nov 9, 2013, at 2:00 AM, Richard Sandiford wrote: > Fix formatting and remove some spurious differences with trunk > (some of which are ordering rather than formatting, but it didn't > seem worth separating them out). > Applied as obvious (I hope). I reviewed it, looks good.

[wide-int] Fix some formatting

2013-11-09 Thread Richard Sandiford

Fix formatting and remove some spurious differences with trunk (some of which are ordering rather than formatting, but it didn't seem worth separating them out). Also put stuff on a single line in cases where shorter wide-int code makes that possible. Applied as obvious (I hope). Richard Index