diff options
-rw-r--r-- | lib/Printlines.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Printlines.ml b/lib/Printlines.ml index 135672cc..b60fdf4a 100644 --- a/lib/Printlines.ml +++ b/lib/Printlines.ml @@ -25,7 +25,7 @@ type filebuf = { the first character of line number [b.lineno]. *) let openfile f = - { chan = open_in f; + { chan = open_in_bin f; lineno = 1 } let close b = |