# HG changeset patch
# User wenzelm
# Date 1530264991 -7200
# Node ID 0299c1dccc961c0c1467c756a6ffd685ddab1d99
# Parent  e14848001c4c41132dc343145c9a157e5b73b274
proper build_heap;

diff -r e14848001c4c -r 0299c1dccc96 src/Pure/Tools/dump.scala
--- a/src/Pure/Tools/dump.scala	Thu Jun 28 21:05:56 2018 +0200
+++ b/src/Pure/Tools/dump.scala	Fri Jun 29 11:36:31 2018 +0200
@@ -93,8 +93,8 @@
     system_mode: Boolean = false,
     selection: Sessions.Selection = Sessions.Selection.empty): Process_Result =
   {
-    if (Build.build_logic(options, logic, progress = progress, dirs = dirs,
-      system_mode = system_mode) != 0) error(logic + " FAILED")
+    if (Build.build_logic(options, logic, build_heap = true, progress = progress,
+      dirs = dirs, system_mode = system_mode) != 0) error(logic + " FAILED")
 
     val dump_options = make_options(options, aspects)