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 62549 9498623b27f0
parent 59058 a78612c67ec0
child 75614 01b3da984e55 
--- a/src/Tools/cache_io.ML	Mon Mar 07 20:44:47 2016 +0100
+++ b/src/Tools/cache_io.ML	Mon Mar 07 21:09:28 2016 +0100
@@ -62,7 +62,7 @@
     val table =
       if File.exists cache_path then
         let
-          fun err () = error ("Cache IO: corrupted cache file: " ^ File.shell_path cache_path)
+          fun err () = error ("Cache IO: corrupted cache file: " ^ File.bash_path cache_path)
 
           fun int_of_string s =
             (case read_int (raw_explode s) of
isabelle