# HG changeset patch
# User wenzelm
# Date 1695733771 -7200
# Node ID 3dc56a11d89e59b5ec18059d823a928d6db00ac5
# Parent  3636dc23aa0eb082987b92781ed4c397f5a89a5c
tuned;

diff -r 3636dc23aa0e -r 3dc56a11d89e src/Pure/General/sha1.ML
--- 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 *)