diff options
Diffstat (limited to 'cparser/Parse.ml')
| -rw-r--r-- | cparser/Parse.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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; |