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 40627 becf5d5187cc
parent 40578 2b098a549450
child 40743 b07a0dbc8a38 
--- a/src/Tools/cache_io.ML	Fri Nov 19 23:48:07 2010 +0100
+++ b/src/Tools/cache_io.ML	Sat Nov 20 00:53:26 2010 +0100
@@ -81,7 +81,7 @@
       File.shell_path cache_path)
 
     fun int_of_string s =
-      (case read_int (explode s) of
+      (case read_int (raw_explode s) of
         (i, []) => i
       | _ => err ())
isabelle