From 6a8503115a9952dc793d15d0ea9033b68b30aae6 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
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/Elab.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'cparser/Elab.ml')

diff --git a/cparser/Elab.ml b/cparser/Elab.ml
index 3c01230e..5971d4d4 100644
--- a/cparser/Elab.ml
+++ b/cparser/Elab.ml
@@ -1755,7 +1755,7 @@ let _ = elab_block_f := elab_block
 let elab_preprocessed_file name ic =
   let lb = Lexer.init name ic in
   reset();
-  ignore (elab_definitions false Builtins.builtin_env
+  ignore (elab_definitions false (Builtins.environment())
                                  (Parser.file Lexer.initial lb));
   Lexer.finish();
   elaborated_program()
-- 
cgit