diff options
Diffstat (limited to 'cparser/Builtins.mli')
-rw-r--r-- | cparser/Builtins.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cparser/Builtins.mli b/cparser/Builtins.mli index be0d941f..7f9d78a9 100644 --- a/cparser/Builtins.mli +++ b/cparser/Builtins.mli @@ -15,6 +15,7 @@ val environment: unit -> Env.t val identifiers: unit -> C.ident list +val declarations: unit -> C.globdecl list type t = { typedefs: (string * C.typ) list; |