From f05e9e7ee26116ab88d8a5d7ff3ea68d1bd950ca Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 7 Dec 2017 17:24:41 +0100
Subject: Remove unused code. BUg 22642

---
 cparser/Elab.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'cparser/Elab.ml')

diff --git a/cparser/Elab.ml b/cparser/Elab.ml
index c2d5ece7..e846e301 100644
--- a/cparser/Elab.ml
+++ b/cparser/Elab.ml
@@ -2365,7 +2365,6 @@ let elab_fundef env spec name defs body loc =
   && can_return then
     warning loc Invalid_noreturn "function '%s' declared 'noreturn' should not return" s;
   (* Build and emit function definition *)
-  let inline = inline in
   let fn =
     { fd_storage = sto1;
       fd_inline = inline;
-- 
cgit