From 6a8503115a9952dc793d15d0ea9033b68b30aae6 Mon Sep 17 00:00:00 2001 From: xleroy Date: Sun, 7 Mar 2010 16:59:26 +0000 Subject: Revised treatment of builtins git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1283 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- cparser/Rename.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'cparser/Rename.ml') diff --git a/cparser/Rename.ml b/cparser/Rename.ml index fc91b6a..4b2f350 100644 --- a/cparser/Rename.ml +++ b/cparser/Rename.ml @@ -221,7 +221,7 @@ let rec globdecls env accu = function (* Reserve names of builtins *) let reserve_builtins () = - List.fold_left enter_global empty_env Builtins.builtin_idents + List.fold_left enter_global empty_env (Builtins.identifiers()) (* Reserve global declarations with public visibility *) -- cgit v1.2.3