--- a/src/Pure/Tools/build.scala Tue Apr 04 19:51:56 2017 +0200
+++ b/src/Pure/Tools/build.scala Tue Apr 04 21:05:07 2017 +0200
@@ -200,7 +200,6 @@
val args_yxml =
YXML.string_of_body(
{
- val theories = info.theories.map(x => (x._2, x._3))
import XML.Encode._
pair(list(pair(string, int)), pair(list(properties), pair(bool, pair(bool,
pair(Path.encode, pair(list(pair(Path.encode, Path.encode)), pair(string,
@@ -209,7 +208,7 @@
(Symbol.codes, (command_timings, (do_output, (verbose,
(store.browser_info, (info.document_files, (File.standard_path(graph_file),
(parent, (info.chapter, (name, (Path.current,
- theories))))))))))))
+ info.theories))))))))))))
})
val env =