# HG changeset patch
# User wenzelm
# Date 1355500898 -3600
# Node ID 345b25cf2e4f52280e413e531fbc3c84541a9871
# Parent  f841ac0cb75782c91fcfaad97d2a91862e13fa5c
actually request heap image in initial up-to-date check;

diff -r f841ac0cb757 -r 345b25cf2e4f src/Pure/System/build_dialog.scala
--- a/src/Pure/System/build_dialog.scala	Fri Dec 14 16:45:41 2012 +0100
+++ b/src/Pure/System/build_dialog.scala	Fri Dec 14 17:01:38 2012 +0100
@@ -32,7 +32,7 @@
               Isabelle_System.default_logic(logic,
                 if (logic_option != "") options.string(logic_option) else "")
 
-            if (Build.build(Build.Ignore_Progress, options, no_build = true,
+            if (Build.build(Build.Ignore_Progress, options, build_heap = true, no_build = true,
                 more_dirs = more_dirs, sessions = List(session)) == 0) sys.exit(0)
             else
               Swing_Thread.later {
@@ -42,7 +42,8 @@
                 top.pack()
 
                 val point = GraphicsEnvironment.getLocalGraphicsEnvironment().getCenterPoint()
-                top.location = new Point(point.x - top.size.width / 2, point.y - top.size.height / 2)
+                top.location =
+                  new Point(point.x - top.size.width / 2, point.y - top.size.height / 2)
 
                 top.visible = true
               }