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/System/isabelle_system.scala
changeset 80368 9db395953106
parent 80235 06036a16779f
child 80451 e0bd9e4811ad 
--- a/src/Pure/System/isabelle_system.scala	Sat Jun 15 17:16:14 2024 +0200
+++ b/src/Pure/System/isabelle_system.scala	Sat Jun 15 20:14:24 2024 +0200
@@ -474,7 +474,7 @@
               else {
                 val bytes = using(zip_file.getInputStream(entry))(Bytes.read_stream(_))
                 Files.createDirectories(res.getParent)
-                Files.write(res, bytes.array)
+                Files.write(res, bytes.make_array)
               }
             }
             (entry, result)
isabelle