64, not 128!

Lokathor · Lokathor · commit 1e8904e4242f · 2018-12-21T18:21:47.000-07:00
diff --git a/testcrate/build.rs b/testcrate/build.rs
@@ -777,7 +777,7 @@ fn main() {
     }
     
     // count leading zeros
-    gen(|a: MyU128| {
+    gen(|a: MyU64| {
             Some((a as usize).leading_zeros())
         },
         "{
