From 056068abd228fefab4951a61700aa6d54fb88287 Mon Sep 17 00:00:00 2001 From: xleroy Date: Tue, 29 Jan 2013 09:10:29 +0000 Subject: Ported to Coq 8.4pl1. Merge of branches/coq-8.4. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2101 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- common/PrintAST.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'common/PrintAST.ml') diff --git a/common/PrintAST.ml b/common/PrintAST.ml index 53741d5c..7f2ed3f8 100644 --- a/common/PrintAST.ml +++ b/common/PrintAST.ml @@ -42,7 +42,7 @@ let name_of_external = function | EF_malloc -> "malloc" | EF_free -> "free" | EF_memcpy(sz, al) -> - sprintf "memcpy size %ld align %ld " (camlint_of_z sz) (camlint_of_z al) + sprintf "memcpy size %s align %s " (Z.to_string sz) (Z.to_string al) | EF_annot(text, targs) -> sprintf "annot %S" (extern_atom text) | EF_annot_val(text, targ) -> sprintf "annot_val %S" (extern_atom text) | EF_inline_asm text -> sprintf "inline_asm %S" (extern_atom text) -- cgit