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
Fri, 18 May 2018 21:00:15 +0200
changeset 68211 1e7defef8c8a
parent 68210 65f79c0ddb0d
child 68212 5a59fded83c7
tuned;
src/Pure/ML/ml_process.scala file | annotate | diff | comparison | revisions 
--- 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 =
isabelle