Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Wed, 22 Jun 2022 14:22:08 +0200
changeset 75591 abd110cb7327
parent 75590 99b7638d9177
child 75592 f72b88f2842c
tuned;
src/Pure/ML/ml_process.scala file | annotate | diff | comparison | revisions 
--- 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) =
isabelle