Windows: open .vo files in binary mode

1 files changed, 1 insertions, 1 deletions

diff --git a/library/library.ml b/library/library.ml
index be0c25997..e4169d66e 100644
--- a/library/library.ml
+++ b/library/library.ml
@@ -314,7 +314,7 @@ let fetch_table what dp (f,pos,digest) =
     if not (String.equal (System.digest_in f ch) digest) then raise Faulty;
     let table, pos', digest' = System.marshal_in_segment f ch in
     let () = close_in ch in
-    let ch' = open_in f in
+    let ch' = open_in_bin f in
     if not (String.equal (Digest.channel ch' pos') digest') then raise Faulty;
     let () = close_in ch' in
     table