From c4d9dce2d316f3f9adeefcc523198093b7184ab6 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 29 May 2018 15:43:31 +0200
Subject: Removed duplicated whitespace. Bug 23660

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

(limited to 'cparser')

diff --git a/cparser/Elab.ml b/cparser/Elab.ml
index 0d9d9d09..4d2a33b7 100644
--- a/cparser/Elab.ml
+++ b/cparser/Elab.ml
@@ -2274,7 +2274,7 @@ let enter_decdefs local loc env sto dl =
   let enter_decdef (decls, env) (s, ty, init) =
     let isfun = is_function_type env ty in
     if sto = Storage_extern && init <> NO_INIT then
-      error loc "'extern' declaration  variable has an initializer";
+      error loc "'extern' declaration variable has an initializer";
     if local && isfun then begin
       match sto with
       | Storage_static ->
-- 
cgit