Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper Path.print for user output (amending 9498623b27f0);
authorwenzelm
Tue, 04 Feb 2025 20:32:15 +0100
changeset 82076 265aec8a81e4
parent 82075 090b0ed235d2
child 82077 559eadf415d1
proper Path.print for user output (amending 9498623b27f0);
src/Tools/cache_io.ML file | annotate | diff | comparison | revisions 
--- a/src/Tools/cache_io.ML	Tue Feb 04 21:50:15 2025 +0100
+++ b/src/Tools/cache_io.ML	Tue Feb 04 20:32:15 2025 +0100
@@ -70,7 +70,7 @@
     val table =
       if File.exists cache_path then
         let
-          fun err () = error ("Cache IO: corrupted cache file: " ^ File.bash_path cache_path)
+          fun err () = error ("Cache IO: corrupted cache file: " ^ Path.print cache_path)
 
           fun int_of_string s =
             (case read_int (raw_explode s) of
isabelle