# HG changeset patch
# User wenzelm
# Date 1655900528 -7200
# Node ID abd110cb7327076f7b08b65d7caaf8dde1417bbb
# Parent  99b7638d91774532a9d4e0bc527c1af1a193e287
tuned;

diff -r 99b7638d9177 -r abd110cb7327 src/Pure/ML/ml_process.scala
--- a/src/Pure/ML/ml_process.scala	Wed Jun 22 14:18:48 2022 +0200
+++ b/src/Pure/ML/ml_process.scala	Wed Jun 22 14:22:08 2022 +0200
@@ -72,10 +72,10 @@
 
 
     // options
+    val eval_options = if (heaps.isEmpty) Nil else List("Options.load_default ()")
     val isabelle_process_options = Isabelle_System.tmp_file("options")
     Isabelle_System.chmod("600", File.path(isabelle_process_options))
     File.write(isabelle_process_options, YXML.string_of_body(options.encode))
-    val eval_options = if (heaps.isEmpty) Nil else List("Options.load_default ()")
 
     // session base
     val (init_session_base, eval_init_session) =