64, not 128!
This commit is contained in:
parent
c548dc5b34
commit
1e8904e424
@ -777,7 +777,7 @@ fn main() {
|
|||||||
}
|
}
|
||||||
|
|
||||||
// count leading zeros
|
// count leading zeros
|
||||||
gen(|a: MyU128| {
|
gen(|a: MyU64| {
|
||||||
Some((a as usize).leading_zeros())
|
Some((a as usize).leading_zeros())
|
||||||
},
|
},
|
||||||
"{
|
"{
|
||||||
|
Loading…
Reference in New Issue
Block a user