# HG changeset patch
# User wenzelm
# Date 1567026113 -7200
# Node ID cb83a582bf0cdd309c01b67a9f183e1fcab0b287
# Parent  1ae987cc052f958af1b04c814a246df2729bd6bf
enable share_common_data for "isabelle dump" and its derivatives (e.g. "isabelle mmt_import"): this has the potential to reduce ML heap size considerably, after initial command definitions;

diff -r 1ae987cc052f -r cb83a582bf0c src/Pure/Tools/dump.scala
--- a/src/Pure/Tools/dump.scala	Wed Aug 28 22:59:49 2019 +0200
+++ b/src/Pure/Tools/dump.scala	Wed Aug 28 23:01:53 2019 +0200
@@ -171,6 +171,7 @@
       val use_theories_result =
         session.use_theories(use_theories,
           unicode_symbols = unicode_symbols,
+          share_common_data = true,
           progress = progress,
           commit = Some(Consumer.apply _))