From d2cf6277ac179c9e8432d4c11a79e9f906a19bbc Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Tue, 29 Jan 2013 10:15:34 +0000
Subject: Camlcoq.ml: bug in conversion Z to string PrintClight: forgot "$"
 prefix on temporary names

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2102 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cfrontend/PrintClight.ml | 2 +-
 lib/Camlcoq.ml           | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/cfrontend/PrintClight.ml b/cfrontend/PrintClight.ml
index b05876ab..7653f0c2 100644
--- a/cfrontend/PrintClight.ml
+++ b/cfrontend/PrintClight.ml
@@ -40,7 +40,7 @@ let register_struct_union id fld =
 
 (* Naming temporaries *)
 
-let temp_name (id: ident) = Z.to_string (Z.Zpos id)
+let temp_name (id: ident) = "$" ^ Z.to_string (Z.Zpos id)
 
 (* Declarator (identifier + type) -- reuse from PrintCsyntax *)
 
diff --git a/lib/Camlcoq.ml b/lib/Camlcoq.ml
index 442766d8..4f697b97 100644
--- a/lib/Camlcoq.ml
+++ b/lib/Camlcoq.ml
@@ -173,10 +173,10 @@ module Z = struct
     if x = Z0 then () else begin
       let (q, r) = Z.div_eucl x base in
       to_string_rec base buff q;
-      let q' = to_int q in
+      let d = to_int r in
       Buffer.add_char buff (Char.chr
-        (if q' < 10 then Char.code '0' + q'
-                         else Char.code 'A' + q' - 10))
+        (if d < 10 then Char.code '0' + d
+                         else Char.code 'A' + d - 10))
     end
 
   let to_string_aux base x =
-- 
cgit