From 4539812ee662cc66c590c985cfb06b672767708a Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 24 Dec 2004 12:10:10 +0000
Subject: Typo

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6500 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 parsing/g_rsyntax.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/parsing/g_rsyntax.ml b/parsing/g_rsyntax.ml
index 949b022c18..ef6fdeb7e7 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 =
-- 
cgit v1.2.3