tuned;

--- a/src/Pure/General/sha1.ML	Tue Sep 26 15:04:47 2023 +0200
+++ b/src/Pure/General/sha1.ML	Tue Sep 26 15:09:31 2023 +0200
@@ -158,9 +158,9 @@
   Thread_Attributes.uninterruptible (fn run => fn f =>
     let
       val mem = Foreign.Memory.malloc (Word.fromInt n);
-      val res = Exn.capture (run f) mem;
+      val result = Exn.capture (run f) mem;
       val _ = Foreign.Memory.free mem;
-    in Exn.release res end);
+    in Exn.release result end);
 
 
 (* digesting *)