src/Pure/Tools/dump.scala
changeset 68942 4709898282a6
parent 68941 c192c8f9f19b
child 68944 ce68b1488612
     1.1 --- a/src/Pure/Tools/dump.scala	Sat Sep 08 11:44:47 2018 +0200
     1.2 +++ b/src/Pure/Tools/dump.scala	Sat Sep 08 12:01:22 2018 +0200
     1.3 @@ -250,7 +250,6 @@
     1.4            dump(options, logic,
     1.5              aspects = aspects,
     1.6              progress = progress,
     1.7 -            log = new File_Logger(Path.explode("$ISABELLE_HOME_USER/dump.log")),
     1.8              dirs = dirs,
     1.9              select_dirs = select_dirs,
    1.10              output_dir = output_dir,