diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-03 15:53:35 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-03 15:53:35 +0100 |
commit | 0d2b52ee106d36e2223b78bff4698019cdca3317 (patch) | |
tree | d30905497e5a5ff28c7b8917ba26bab2aa1ba173 | |
parent | 05eac28e5040e12d75d17c25e190dcf22ec530d7 (diff) | |
download | compcert-0d2b52ee106d36e2223b78bff4698019cdca3317.tar.gz compcert-0d2b52ee106d36e2223b78bff4698019cdca3317.zip |
Remove all overriding opens in Elab.ml. Bug 19872
-rw-r--r-- | cparser/Elab.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cparser/Elab.ml b/cparser/Elab.ml index 65716718..9995be5c 100644 --- a/cparser/Elab.ml +++ b/cparser/Elab.ml @@ -19,7 +19,7 @@ open Machine open Cabs -open !C +open C open Cerrors open Cutil @@ -1698,7 +1698,7 @@ let elab_expr vararg loc env a = | EVar id -> begin match wrap Env.find_ident loc env id with | Env.II_ident(Storage_register, _) -> - err "address of register variable '%s' requested" id.name + err "address of register variable '%s' requested" id.C.name | _ -> () end | EUnop(Odot f, b2) -> |