--- a/src/Pure/Tools/build.scala Fri Jan 25 22:13:48 2019 +0000
+++ b/src/Pure/Tools/build.scala Sun Jan 27 17:30:09 2019 +0100
@@ -233,7 +233,8 @@
("ISABELLE_ML_DEBUGGER" -> options.bool("ML_debugger").toString)
def save_heap: String =
- (if (info.theories.isEmpty) "" else "ML_Heap.share_common_data (); ") +
+ (if (info.theories.isEmpty) ""
+ else """cond_timeit true "share_common_data" ML_Heap.share_common_data; """) +
"ML_Heap.save_child " +
ML_Syntax.print_string_bytes(File.platform_path(store.output_heap(name)))