diff options
Diffstat (limited to 'cparser/Env.ml')
| -rw-r--r-- | cparser/Env.ml | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/cparser/Env.ml b/cparser/Env.ml index 65df6cb9..dae79ef2 100644 --- a/cparser/Env.ml +++ b/cparser/Env.ml @@ -118,12 +118,6 @@ let lookup_ident env s = with Not_found -> raise(Error(Unbound_identifier s)) -let lookup_tag env s = - try - IdentMap.lookup s env.env_tag - with Not_found -> - raise(Error(Unbound_tag(s, "tag"))) - let lookup_struct env s = try let (id, ci as res) = IdentMap.lookup s env.env_tag in @@ -169,11 +163,6 @@ let find_ident env id = with Not_found -> raise(Error(Unbound_identifier(id.name))) -let find_tag env id = - try IdentMap.find id env.env_tag - with Not_found -> - raise(Error(Unbound_tag(id.name, "tag"))) - let find_struct env id = try let ci = IdentMap.find id env.env_tag in |