From c8a70ffdeebe28c3af056a3615b593e020f15f6d Mon Sep 17 00:00:00 2001
From: thery
Date: Tue, 19 Jun 2007 16:58:22 +0000
Subject: safe_shift recursion

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

diff --git a/theories/Ints/num/genN.ml b/theories/Ints/num/genN.ml
index 083e3213e2..51a741448f 100644
--- a/theories/Ints/num/genN.ml
+++ b/theories/Ints/num/genN.ml
@@ -952,7 +952,7 @@ let print_Make () =
   fprintf fmt "  Definition safe_shiftl n x :=\n";
   fprintf fmt "    itert _ double_size (shiftl n) \n";
   fprintf fmt "      (fun x => match compare n (head0 x) with Gt => false | _ => true end) \n";
-  fprintf fmt "       (digits x) x.\n ";
+  fprintf fmt "       (digits n) x.\n ";
   fprintf fmt "\n";
 
   (* even *)
-- 
cgit v1.2.3