# HG changeset patch
# User wenzelm
# Date 1548966804 -3600
# Node ID 1df241e340c800848b6bff63addc1e5f07f6dc82
# Parent  f646759090ce44c6ace8c5d82b68bccf312d3f58
removed left-over test material (amending bb0a354f6b46);

diff -r f646759090ce -r 1df241e340c8 src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Thu Jan 31 21:21:44 2019 +0100
+++ b/src/Pure/Tools/build.scala	Thu Jan 31 21:33:24 2019 +0100
@@ -233,8 +233,7 @@
             ("ISABELLE_ML_DEBUGGER" -> options.bool("ML_debugger").toString)
 
         def save_heap: String =
-          (if (info.theories.isEmpty) ""
-           else """cond_timeit true "share_common_data" ML_Heap.share_common_data; """) +
+          (if (info.theories.isEmpty) "" else "ML_Heap.share_common_data (); ") +
             "ML_Heap.save_child " +
             ML_Syntax.print_string_bytes(File.platform_path(store.output_heap(name)))