From d2cf6277ac179c9e8432d4c11a79e9f906a19bbc Mon Sep 17 00:00:00 2001 From: xleroy 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 --- lib/Camlcoq.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'lib/Camlcoq.ml') 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