removed left-over test material (amending bb0a354f6b46);
authorwenzelm
Thu Jan 31 21:33:24 2019 +0100 (9 months ago)
changeset 697771df241e340c8
parent 69776 f646759090ce
child 69778 09ad02c0fbee
removed left-over test material (amending bb0a354f6b46);
src/Pure/Tools/build.scala
     1.1 --- a/src/Pure/Tools/build.scala	Thu Jan 31 21:21:44 2019 +0100
     1.2 +++ b/src/Pure/Tools/build.scala	Thu Jan 31 21:33:24 2019 +0100
     1.3 @@ -233,8 +233,7 @@
     1.4              ("ISABELLE_ML_DEBUGGER" -> options.bool("ML_debugger").toString)
     1.5  
     1.6          def save_heap: String =
     1.7 -          (if (info.theories.isEmpty) ""
     1.8 -           else """cond_timeit true "share_common_data" ML_Heap.share_common_data; """) +
     1.9 +          (if (info.theories.isEmpty) "" else "ML_Heap.share_common_data (); ") +
    1.10              "ML_Heap.save_child " +
    1.11              ML_Syntax.print_string_bytes(File.platform_path(store.output_heap(name)))
    1.12