diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-05-29 15:43:31 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-05-29 15:43:31 +0200 |
| commit | c4d9dce2d316f3f9adeefcc523198093b7184ab6 (patch) | |
| tree | bc1db8bff947134011989dd863ed9a372d79b80b | |
| parent | a5f96b68f8af673f7666658f796f2322b6b9da93 (diff) | |
| download | compcert-c4d9dce2d316f3f9adeefcc523198093b7184ab6.tar.gz compcert-c4d9dce2d316f3f9adeefcc523198093b7184ab6.zip | |
Removed duplicated whitespace. Bug 23660
| -rw-r--r-- | cparser/Elab.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 -> |