diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2004-11-09 14:24:40 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2004-11-09 14:24:40 +0000 |
| commit | a173c47090b3b86865b7096f146c16986e930734 (patch) | |
| tree | 295d901fa97cb89b1ce510a1fac3f7309c311b57 /otherlibs/num/big_int.ml | |
| parent | d113ba55c5244edbf598741132b9f4f01258ef41 (diff) | |
Suppression string_misc (PR#2891) + unused variable
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6672 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/num/big_int.ml')
| -rw-r--r-- | otherlibs/num/big_int.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/otherlibs/num/big_int.ml b/otherlibs/num/big_int.ml index 5d556daa7..ddd5d7313 100644 --- a/otherlibs/num/big_int.ml +++ b/otherlibs/num/big_int.ml @@ -461,7 +461,6 @@ let power_big_int_positive_big_int bi1 bi2 = 0 -> unit_big_int | -1 -> invalid_arg "power_big_int_positive_big_int" | _ -> let nat = bi2.abs_value - and off = 0 and len_bi2 = num_digits_big_int bi2 in let bi1_len = num_digits_big_int bi1 in let res_len = int_of_big_int (mult_int_big_int bi1_len bi2) in |