--- a/src/Pure/Tools/dump.scala Thu Apr 02 11:45:03 2020 +0200
+++ b/src/Pure/Tools/dump.scala Thu Apr 02 13:04:24 2020 +0200
@@ -363,7 +363,7 @@
session.use_theories(used_theories.map(_.theory),
unicode_symbols = unicode_symbols,
progress = progress,
- commit = Some(Consumer.apply _))
+ commit = Some(Consumer.apply))
val bad_theories = Consumer.shutdown()
val bad_msgs =
@@ -463,7 +463,7 @@
Dump cumulative PIDE session database, with the following aspects:
""" + Library.prefix_lines(" ", show_aspects) + "\n",
- "A:" -> (arg => aspects = Library.distinct(space_explode(',', arg)).map(the_aspect(_))),
+ "A:" -> (arg => aspects = Library.distinct(space_explode(',', arg)).map(the_aspect)),
"B:" -> (arg => base_sessions = base_sessions ::: List(arg)),
"D:" -> (arg => select_dirs = select_dirs ::: List(Path.explode(arg))),
"O:" -> (arg => output_dir = Path.explode(arg)),