From 0d2b52ee106d36e2223b78bff4698019cdca3317 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Fri, 3 Feb 2017 15:53:35 +0100 Subject: Remove all overriding opens in Elab.ml. Bug 19872 --- cparser/Elab.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'cparser/Elab.ml') 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) -> -- cgit