diff options
Diffstat (limited to 'parsing')
-rw-r--r-- | parsing/g_rsyntax.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/g_rsyntax.ml b/parsing/g_rsyntax.ml index 949b022c1..ef6fdeb7e 100644 --- a/parsing/g_rsyntax.ml +++ b/parsing/g_rsyntax.ml @@ -57,7 +57,7 @@ open Bigint let rec int_decomp m = if equal m zero then [0] else if equal m one then [1] else - let (b,r) = euclid m two in (if equal b zero then 0 else 1) :: int_decomp r + let (m',b) = euclid m two in (if equal b zero then 0 else 1) :: int_decomp m' let _ = if !Options.v7 then let r_of_int n dloc = |