diff options
Diffstat (limited to 'cparser/Transform.ml')
| -rw-r--r-- | cparser/Transform.ml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/cparser/Transform.ml b/cparser/Transform.ml index b7f57f3..911d613 100644 --- a/cparser/Transform.ml +++ b/cparser/Transform.ml @@ -49,10 +49,6 @@ let program ?(typedef = fun env id ty -> ty) p = -(* In all transformations of interest so far, the environment is used only - for its type definitions and struct/union definitions, - so we do not update it for other definitions. *) - let rec transf_globdecls env accu = function | [] -> List.rev accu | g :: gl -> |