From d7772fb78b15ded7758f65a0010032dbc5cd5861 Mon Sep 17 00:00:00 2001 From: Pino Toscano Date: Fri, 24 Aug 2018 13:06:36 +0200 Subject: [PATCH] builder: index_parser_tests: really use parameter Really use the parameter of the "read_file" function, instead of hardcoding "out". This does not change the behaviour, since all the callers already use "out" as the file name to read. Fixes commit 7e3689bfe019d93de2e04711a13b18248de7051d. --- builder/index_parser_tests.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/builder/index_parser_tests.ml b/builder/index_parser_tests.ml index 4ba165225..2123f9b06 100644 --- a/builder/index_parser_tests.ml +++ b/builder/index_parser_tests.ml @@ -46,7 +46,7 @@ let write_entries file entries = close_out chan let read_file file = - read_whole_file (tmpdir // "out") + read_whole_file (tmpdir // file) let parse_file file = let source = { Sources.name = "input";