diff options
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 |