From ec345aca02baa5b840ef509b9a8d122695023d7c Mon Sep 17 00:00:00 2001 From: Pino Toscano Date: Thu, 23 Aug 2018 19:12:46 +0200 Subject: [PATCH] builder: use the new json_parser_tree_parse_file No need to read the whole file manually. --- builder/simplestreams_parser.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/builder/simplestreams_parser.ml b/builder/simplestreams_parser.ml index ccbfdff67..407eb11fb 100644 --- a/builder/simplestreams_parser.ml +++ b/builder/simplestreams_parser.ml @@ -44,7 +44,7 @@ let get_index ~downloader ~sigchecker { Sources.uri; proxy } = | Some f -> f ) else tmpfile in - json_parser_tree_parse (read_whole_file file) in + json_parser_tree_parse_file file in let downloads = let uri_index =