From 715388a4796aedb82cd6c7d5f51a21e3d655db4f Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Fri, 26 May 2017 02:35:24 +0200 Subject: [votour] Fix build with -safe-string (bug 5553) --- checker/votour.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'checker/votour.ml') diff --git a/checker/votour.ml b/checker/votour.ml index 48f9f45e7..44ca8ef31 100644 --- a/checker/votour.ml +++ b/checker/votour.ml @@ -313,8 +313,7 @@ let dummy_header = { } let parse_header chan = - let magic = String.create 4 in - let () = for i = 0 to 3 do magic.[i] <- input_char chan done in + let magic = really_input_string chan 4 in let length = input_binary_int chan in let objects = input_binary_int chan in let size32 = input_binary_int chan in -- cgit v1.2.3