src/Pure/Tools/build.scala
changeset 66717 67dbf5cdc056
parent 66712 4c98c929a12a
child 66736 148891036469
     1.1 --- a/src/Pure/Tools/build.scala	Fri Sep 29 17:41:39 2017 +0200
     1.2 +++ b/src/Pure/Tools/build.scala	Fri Sep 29 20:49:42 2017 +0200
     1.3 @@ -215,7 +215,7 @@
     1.4                  (store.browser_info, (info.document_files, (File.standard_path(graph_file),
     1.5                  (parent, (info.chapter, (name, (Path.current,
     1.6                  (info.theories,
     1.7 -                (base.global_theories.toList, (base.loaded_theories.toList,
     1.8 +                (base.global_theories.toList, (base.loaded_theories.keys,
     1.9                  base.dest_known_theories)))))))))))))))
    1.10              })
    1.11