diff options
Diffstat (limited to 'driver/compmisc.ml')
| -rw-r--r-- | driver/compmisc.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/compmisc.ml b/driver/compmisc.ml index b1bed14b54..9177076ac1 100644 --- a/driver/compmisc.ml +++ b/driver/compmisc.ml @@ -55,7 +55,7 @@ let initial_env () = ~loc:(Location.in_file "command line") ~safe_string:(Config.safe_string || not !Clflags.unsafe_string) ~initially_opened_module - ~open_implicit_modules:(!implicit_modules @ List.rev !Clflags.open_modules) + ~open_implicit_modules:(List.rev !Clflags.open_modules) let read_color_env ppf = try |