diff options
author | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-12-24 12:10:10 +0000 |
---|---|---|
committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-12-24 12:10:10 +0000 |
commit | 4539812ee662cc66c590c985cfb06b672767708a (patch) | |
tree | b2faccb17d548f2c5f31ce92f3a4b09fb2d31de7 /parsing | |
parent | 355671c60fa075b64f64e175bada909a4ce759ac (diff) |
Typo
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6500 85f007b7-540e-0410-9357-904b9bb8a0f7
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 = |