src/Pure/Tools/build.ML

--- a/src/Pure/Tools/build.ML	Tue Jan 29 22:47:45 2019 +0100
+++ b/src/Pure/Tools/build.ML	Wed Jan 30 13:25:33 2019 +0100
@@ -119,8 +119,7 @@
     val conds = filter_out (can getenv_strict) condition;
   in
     if null conds then
-      (if Options.bool options "checkpoint" then ML_Heap.share_common_data () else ();
-        Options.set_default options;
+      (Options.set_default options;
         Isabelle_Process.init_options ();
         Future.fork I;
         (Thy_Info.use_theories context qualifier master_dir