tuned;
authorwenzelm
Fri, 27 Mar 2020 12:15:26 +0100
changeset 71811 817e26a03198
parent 71810 01d92325ddab
child 71812 d025735a4090
tuned;
src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Fri Mar 27 12:13:39 2020 +0100
+++ b/src/Pure/Tools/build.scala	Fri Mar 27 12:15:26 2020 +0100
@@ -281,14 +281,14 @@
           val process =
             if (Sessions.is_pure(name)) {
               ML_Process(options, deps.sessions_structure, raw_ml_system = true,
-                cwd = info.dir.file, env = env, store = Some(store),
                 args =
                   (for ((root, _) <- Thy_Header.ml_roots) yield List("--use", root)).flatten :::
-                  List("--eval", eval),
+                    List("--eval", eval),
+                cwd = info.dir.file, env = env, store = Some(store),
                 cleanup = () => args_file.delete)
             }
             else {
-              ML_Process(options, deps.sessions_structure, parent, List("--eval", eval),
+              ML_Process(options, deps.sessions_structure, logic = parent, args = List("--eval", eval),
                 cwd = info.dir.file, env = env, store = Some(store),
                 cleanup = () => args_file.delete)
             }