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/Build/store.scala
changeset 80117 61b8f6ac6860
parent 80111 f4d3e3915228
child 80120 370ebda8bd86 
--- a/src/Pure/Build/store.scala	Tue Apr 16 12:18:32 2024 +0200
+++ b/src/Pure/Build/store.scala	Tue Apr 16 14:48:08 2024 +0200
@@ -465,8 +465,8 @@
     session_options: Options,
     sources_shasum: SHA1.Shasum,
     input_shasum: SHA1.Shasum,
-    fresh_build: Boolean,
-    store_heap: Boolean
+    fresh_build: Boolean = false,
+    store_heap: Boolean = false
   ): (Boolean, SHA1.Shasum) = {
     def no_check: (Boolean, SHA1.Shasum) = (false, SHA1.no_shasum)
isabelle