From 272a5b812b72f4c3e409ccdbeaf3476d95c4b552 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Tue, 15 Mar 2016 15:07:47 +0100 Subject: Deactivate warning 27 and added back removed code. The code was mostly there for documentation effort. So warning 27 is deactivated again. Bug 18349 --- cparser/Env.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'cparser/Env.ml') diff --git a/cparser/Env.ml b/cparser/Env.ml index 9ab5e657..dae79ef2 100644 --- a/cparser/Env.ml +++ b/cparser/Env.ml @@ -120,7 +120,7 @@ let lookup_ident env s = let lookup_struct env s = try - let (_, ci as res) = IdentMap.lookup s env.env_tag in + let (id, ci as res) = IdentMap.lookup s env.env_tag in if ci.ci_kind <> Struct then raise(Error(Tag_mismatch(s, "struct", "union"))); res @@ -129,7 +129,7 @@ let lookup_struct env s = let lookup_union env s = try - let (_, ci as res) = IdentMap.lookup s env.env_tag in + let (id, ci as res) = IdentMap.lookup s env.env_tag in if ci.ci_kind <> Union then raise(Error(Tag_mismatch(s, "union", "struct"))); res @@ -245,7 +245,7 @@ let add_typedef env id info = { env with env_typedef = IdentMap.add id info env.env_typedef } let add_enum env id info = - let add_enum_item env (id, v, _) = + let add_enum_item env (id, v, exp) = { env with env_ident = IdentMap.add id (II_enum v) env.env_ident } in List.fold_left add_enum_item { env with env_enum = IdentMap.add id info env.env_enum } -- cgit