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 | |
parent | a517c007ec4729e609eddd3e849e2a99191022fb (diff) | |
download | compcert-3270ee2b1946eb79204d61aaa095ea27db9c04f5.tar.gz compcert-3270ee2b1946eb79204d61aaa095ea27db9c04f5.zip |
Remove shadowing open
-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 |