diff options
| -rw-r--r-- | cfrontend/PrintClight.ml | 2 | ||||
| -rw-r--r-- | lib/Camlcoq.ml | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/cfrontend/PrintClight.ml b/cfrontend/PrintClight.ml index b05876a..7653f0c 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 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 = |