# HG changeset patch
# User wenzelm
# Date 1526670015 -7200
# Node ID 1e7defef8c8abcfe488e6ff08de363cdbd690923
# Parent  65f79c0ddb0d18c600690e57e23026d247390858
tuned;

diff -r 65f79c0ddb0d -r 1e7defef8c8a src/Pure/ML/ml_process.scala
--- a/src/Pure/ML/ml_process.scala	Fri May 18 17:21:12 2018 +0200
+++ b/src/Pure/ML/ml_process.scala	Fri May 18 21:00:15 2018 +0200
@@ -28,7 +28,7 @@
     store: Option[Sessions.Store] = None): Bash.Process =
   {
     val logic_name = Isabelle_System.default_logic(logic)
-    val store_ = store.getOrElse(Sessions.store(options))
+    val _store = store.getOrElse(Sessions.store(options))
 
     val heaps: List[String] =
       if (raw_ml_system) Nil
@@ -38,7 +38,7 @@
           sessions_structure.getOrElse(Sessions.load_structure(options, dirs = dirs))
             .selection(selection)
         selected_sessions.build_requirements(List(logic_name)).
-          map(a => File.platform_path(store_.heap(a)))
+          map(a => File.platform_path(_store.heap(a)))
       }
 
     val eval_init =