removed junk;
authorwenzelm
Sat Sep 08 12:01:22 2018 +0200 (8 months ago)
changeset 689424709898282a6
parent 68941 c192c8f9f19b
child 68943 e564605d4cac
removed junk;
src/Pure/Tools/dump.scala
     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,