src/Pure/Tools/dump.scala

         options0 +
           "completion_limit=0" +
           "ML_statistics=false" +
           "parallel_proofs=0" +
           "editor_tracing_messages=0" +
-          "editor_presentation" +
-          "execution_eager"
+          "editor_presentation"
       (options1 /: aspects)({ case (opts, aspect) => (opts /: aspect.options)(_ + _) })
     }
 
     val deps: Sessions.Deps =
       Sessions.load_structure(dump_options, dirs = dirs, select_dirs = select_dirs).