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/Builtins.mli | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

(limited to 'cparser/Builtins.mli')

diff --git a/cparser/Builtins.mli b/cparser/Builtins.mli
index 853bae9..be0d941 100644
--- a/cparser/Builtins.mli
+++ b/cparser/Builtins.mli
@@ -13,5 +13,12 @@
 (*                                                                     *)
 (* *********************************************************************)
 
-val builtin_env : Env.t
-val builtin_idents: C.ident list
+val environment: unit -> Env.t
+val identifiers: unit -> C.ident list
+
+type t = {
+  typedefs: (string * C.typ) list;
+  functions: (string * (C.typ * C.typ list * bool)) list
+}
+
+val set: t -> unit
-- 
cgit v1.2.3