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

1 files changed, 3 insertions, 3 deletions

diff --git a/lib/Camlcoq.ml b/lib/Camlcoq.ml
index 442766d..4f697b9 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 =