diff options
Diffstat (limited to 'cparser/Rename.ml')
| -rw-r--r-- | cparser/Rename.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/Rename.ml b/cparser/Rename.ml index fc91b6a9..4b2f3507 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 *) |