aboutsummaryrefslogtreecommitdiffstats
path: root/cparser/Cutil.ml
diff options
context:
space:
mode:
Diffstat (limited to 'cparser/Cutil.ml')
-rw-r--r--cparser/Cutil.ml9
1 files changed, 5 insertions, 4 deletions
diff --git a/cparser/Cutil.ml b/cparser/Cutil.ml
index 4d0cd735..f5d5c425 100644
--- a/cparser/Cutil.ml
+++ b/cparser/Cutil.ml
@@ -691,10 +691,11 @@ let is_anonymous_composite = function
(* Find the info for a field access *)
let field_of_dot_access env t m =
- match unroll env t with
- | TStruct(id, _) -> Env.find_struct_member env (id, m)
- | TUnion(id, _) -> Env.find_union_member env (id, m)
- | _ -> assert false
+ let m = match unroll env t with
+ | TStruct(id, _) -> Env.find_struct_member env (id, m)
+ | TUnion(id, _) -> Env.find_union_member env (id, m)
+ | _ -> assert false in
+ List.hd (List.rev m)
let field_of_arrow_access env t m =
match unroll env t with