diff options
Diffstat (limited to 'lib')
-rw-r--r-- | lib/Readconfig.mll | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/Readconfig.mll b/lib/Readconfig.mll index ec2f6bb0..6cb3409d 100644 --- a/lib/Readconfig.mll +++ b/lib/Readconfig.mll @@ -82,7 +82,7 @@ and doublequote = parse (* The entry point *) let read_config_file filename = - let ic = open_in filename in + let ic = open_in_bin filename in let lexbuf = Lexing.from_channel ic in Lexing.(lexbuf.lex_start_p <- {lexbuf.lex_start_p with pos_fname = filename}); try @@ -108,4 +108,3 @@ let _ = *) } - |