From cb15f6b0c32328f4da74af872f9d54ebcab0d654 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Wed, 24 Jun 2015 16:11:21 +0200
Subject: Simple fix for problem with local extern.

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

(limited to 'cparser/Elab.ml')

diff --git a/cparser/Elab.ml b/cparser/Elab.ml
index aa015b83..d6b79780 100644
--- a/cparser/Elab.ml
+++ b/cparser/Elab.ml
@@ -1817,6 +1817,7 @@ let enter_or_refine_ident local loc env s sto ty =
 	   error loc "static redefinition of '%s' after non-static definition" s; sto
 	| Storage_static,_ -> Storage_static (* Static stays static *)
 	| Storage_extern,_ -> sto
+        | Storage_default,Storage_extern -> Storage_extern
 	| _,Storage_extern -> old_sto
 	| _,Storage_register
 	| Storage_register,_ -> Storage_register
-- 
cgit