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 73573 a30a60aef59f
parent 73567 355af2d1b817
child 73596 e9e60be9928e 
--- a/src/Pure/System/isabelle_system.scala	Mon Apr 12 22:26:30 2021 +0200
+++ b/src/Pure/System/isabelle_system.scala	Mon Apr 12 22:36:13 2021 +0200
@@ -127,7 +127,7 @@
           if (rc != 0) error(output)
 
           val entries =
-            (for (entry <- Library.split_strings0(File.read(dump)) if entry != "") yield {
+            (for (entry <- space_explode('\u0000', File.read(dump)) if entry != "") yield {
               val i = entry.indexOf('=')
               if (i <= 0) entry -> ""
               else entry.substring(0, i) -> entry.substring(i + 1)
isabelle