(0000289)
rixed (Reporter)
2018-02-16 15:49
|
FWIW:
diff -rN -u old-bisect.x9c.fr/src/library/common.ml new-bisect.x9c.fr/src/library/common.ml
--- old-bisect.x9c.fr/src/library/common.ml 2018-02-16 16:48:07.000000000 +0100
+++ new-bisect.x9c.fr/src/library/common.ml 2018-02-16 16:48:07.000000000 +0100
@@ -159,10 +159,10 @@
let check_channel channel filename magic check_digest =
let magic_length = String.length magic in
- let file_magic = String.create magic_length in
+ let file_magic = Bytes.create magic_length in
really_input channel file_magic 0 magic_length;
let file_version =
- if file_magic = magic then
+ if Bytes.to_string file_magic = magic then
let file_version : (int * int) = input_value channel in
if not (List.mem file_version supported_versions) then
raise (Unsupported_version filename) |