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/Cprint.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'cparser/Cprint.ml')

diff --git a/cparser/Cprint.ml b/cparser/Cprint.ml
index 508832b..7d8f2b3 100644
--- a/cparser/Cprint.ml
+++ b/cparser/Cprint.ml
@@ -437,7 +437,9 @@ and opt_exp pp s =
       fprintf pp "@[<v 3>({ %a })@]" stmt s
 
 let fundef pp f =
-  fprintf pp "@[<hov 2>%a" storage f.fd_storage;
+  fprintf pp "@[<hov 2>%s%a"
+    (if f.fd_inline then "inline " else "")
+    storage f.fd_storage;
   simple_decl pp (f.fd_name, TFun(f.fd_ret, Some f.fd_params, f.fd_vararg, []));
   fprintf pp "@]@ @[<v 2>{@ ";
   List.iter (fun d -> fprintf pp "%a@ " full_decl d) f.fd_locals;
-- 
cgit v1.2.3