diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-06 14:47:23 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-06 14:47:23 +0100 |
commit | a517c007ec4729e609eddd3e849e2a99191022fb (patch) | |
tree | af60483ce77b890e0891f0ba00f627d7ac6ee70d /cparser/Lexer.mll | |
parent | d04a44a21b6329d5fbc419eaeb03e818d40607e5 (diff) | |
download | compcert-a517c007ec4729e609eddd3e849e2a99191022fb.tar.gz compcert-a517c007ec4729e609eddd3e849e2a99191022fb.zip |
Remove unused open.
Diffstat (limited to 'cparser/Lexer.mll')
-rw-r--r-- | cparser/Lexer.mll | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/cparser/Lexer.mll b/cparser/Lexer.mll index efb06b5d..ec344f7a 100644 --- a/cparser/Lexer.mll +++ b/cparser/Lexer.mll @@ -17,7 +17,6 @@ open Lexing open Pre_parser open Pre_parser_aux -open !Cabshelper module SSet = Set.Make(String) |