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/HOL/Tools/Sledgehammer/sledgehammer.ML
changeset 81747 122f8a8b718e
parent 81635 362b2ff84206
child 81748 b7c22754818c 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer.ML	Wed Jan 08 05:38:13 2025 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer.ML	Wed Jan 08 14:51:32 2025 +0100
@@ -495,7 +495,7 @@
     val file = cache_dir + Path.explode hash
   in
     (case try File.read file of
-      NONE => 
+      NONE =>
       let val result = f arg in
         File.write file result;
         result
isabelle