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/Tools/cache_io.ML
changeset 82076 265aec8a81e4
parent 78629 569135d7352a
child 82087 aee15b076916 
--- 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