# HG changeset patch
# User wenzelm
# Date 1536400882 -7200
# Node ID 4709898282a613069a0fa71fa419aeb0bd09187c
# Parent  c192c8f9f19bc14a23aab249705a99fcf5a00fc9
removed junk;

diff -r c192c8f9f19b -r 4709898282a6 src/Pure/Tools/dump.scala
--- a/src/Pure/Tools/dump.scala	Sat Sep 08 11:44:47 2018 +0200
+++ b/src/Pure/Tools/dump.scala	Sat Sep 08 12:01:22 2018 +0200
@@ -250,7 +250,6 @@
           dump(options, logic,
             aspects = aspects,
             progress = progress,
-            log = new File_Logger(Path.explode("$ISABELLE_HOME_USER/dump.log")),
             dirs = dirs,
             select_dirs = select_dirs,
             output_dir = output_dir,