--- a/src/Pure/Tools/build.scala Thu Sep 28 11:53:55 2017 +0200
+++ b/src/Pure/Tools/build.scala Thu Sep 28 15:11:32 2017 +0200
@@ -209,7 +209,7 @@
pair(Path.encode, pair(list(pair(Path.encode, Path.encode)), pair(string,
pair(string, pair(string, pair(string, pair(Path.encode,
pair(list(pair(Options.encode, list(pair(string, properties)))),
- pair(list(pair(string, string)), pair(list(pair(string, string)),
+ pair(list(pair(string, string)), pair(list(string),
list(pair(string, string))))))))))))))))(
(Symbol.codes, (command_timings, (do_output, (verbose,
(store.browser_info, (info.document_files, (File.standard_path(graph_file),