64, not 128!

This commit is contained in:
Lokathor 2018-12-21 18:21:47 -07:00
parent 734b5c261a
commit e495054f89

View file

@ -777,7 +777,7 @@ fn main() {
}
// count leading zeros
gen(|a: MyU128| {
gen(|a: MyU64| {
Some((a as usize).leading_zeros())
},
"{