diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/sail_lib.ml | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/src/sail_lib.ml b/src/sail_lib.ml index 76c2f59b..eed3c413 100644 --- a/src/sail_lib.ml +++ b/src/sail_lib.ml @@ -139,11 +139,10 @@ let rec take n xs = | n, [] -> [] let count_leading_zeros xs = - let rec clz = function - | [] -> 0 - | (B1 :: xs') -> clz xs' - | (B0 :: xs') -> 1 + clz xs' in - Big_int.of_int (clz xs) + let rec aux bs acc = match bs with + | (B0 :: bs') -> aux bs' (acc + 1) + | _ -> acc in + Big_int.of_int (aux xs 0) let subrange (list, n, m) = let n = Big_int.to_int n in |