Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/ML/ml_process.scala
changeset 68221 dbef88c2b6c5
parent 68211 1e7defef8c8a
child 69572 09a6a7c04b45 
--- a/src/Pure/ML/ml_process.scala	Sat May 19 16:13:39 2018 +0200
+++ b/src/Pure/ML/ml_process.scala	Sat May 19 20:05:13 2018 +0200
@@ -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.the_heap(a)))
       }
 
     val eval_init =
isabelle