From f961ff40adc1eb853a628c7fb10010e55e7c93e9 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 3 Mar 2010 13:14:55 +0000
Subject: Support for 'inline' modifier

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1272 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cparser/C.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'cparser/C.mli')

diff --git a/cparser/C.mli b/cparser/C.mli
index 6744b38f..d477acda 100644
--- a/cparser/C.mli
+++ b/cparser/C.mli
@@ -205,6 +205,7 @@ type struct_or_union =
 
 type fundef = {
     fd_storage: storage;
+    fd_inline: bool;
     fd_name: ident;
     fd_ret: typ; (* return type *)
     fd_params: (ident * typ) list; (* formal parameters *)
-- 
cgit