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/Tools/build.scala
changeset 65282 f4c5f10829a0
parent 65281 c70e7d24a16d
child 65284 d189ff34b5b9 
--- a/src/Pure/Tools/build.scala	Thu Mar 16 23:33:39 2017 +0100
+++ b/src/Pure/Tools/build.scala	Fri Mar 17 09:33:58 2017 +0100
@@ -204,7 +204,7 @@
   /* sources and heaps */
 
   sealed case class Session_Info(
-    sources: String, input_heap: String, output_heap: String, return_code: Int)
+    sources: String, input_heaps: String, output_heap: String, return_code: Int)
 
   private val SOURCES = "sources: "
   private val INPUT_HEAP = "input_heap: "
isabelle