diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-06 14:47:54 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-06 14:47:54 +0100 |
| commit | 3270ee2b1946eb79204d61aaa095ea27db9c04f5 (patch) | |
| tree | 8edabea5780b11dd4a0ac4fefd674c11735b5f82 /cparser/pre_parser.mly | |
| parent | a517c007ec4729e609eddd3e849e2a99191022fb (diff) | |
| download | compcert-kvx-3270ee2b1946eb79204d61aaa095ea27db9c04f5.tar.gz compcert-kvx-3270ee2b1946eb79204d61aaa095ea27db9c04f5.zip | |
Remove shadowing open
Diffstat (limited to 'cparser/pre_parser.mly')
| -rw-r--r-- | cparser/pre_parser.mly | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/pre_parser.mly b/cparser/pre_parser.mly index cdd043a7..04fbcb94 100644 --- a/cparser/pre_parser.mly +++ b/cparser/pre_parser.mly @@ -23,7 +23,7 @@ *) %{ - open !Pre_parser_aux + open Pre_parser_aux let set_id_type (_,r,_) t = r := t |