From 05f604d7f6e5ca3a0b005ae7ae1073f2b9e83207 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Mon, 30 Nov 2015 17:58:22 +0100 Subject: Open files in binary mode. On windows opening files in text mode can result in errors due to non-windows compatible input. Thus open files only in binary mode. Bug 17664 --- cparser/Parse.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'cparser') diff --git a/cparser/Parse.ml b/cparser/Parse.ml index 1d92d5a5..c125e653 100644 --- a/cparser/Parse.ml +++ b/cparser/Parse.ml @@ -39,7 +39,7 @@ let parse_transformations s = !t let read_file sourcefile = - let ic = open_in sourcefile in + let ic = open_in_bin sourcefile in let n = in_channel_length ic in let text = really_input_string ic n in close_in ic; -- cgit