From 3270ee2b1946eb79204d61aaa095ea27db9c04f5 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Mon, 6 Feb 2017 14:47:54 +0100 Subject: Remove shadowing open --- cparser/pre_parser.mly | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'cparser/pre_parser.mly') 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 -- cgit