src/Pure/General/sha1.ML
changeset 72661 fca4d6abebda
parent 72554 81518b38b316
--- a/src/Pure/General/sha1.ML	Thu Nov 19 17:46:58 2020 +0100
+++ b/src/Pure/General/sha1.ML	Thu Nov 19 17:50:14 2020 +0100
@@ -150,7 +150,8 @@
 
 val library_call =
   Foreign.buildCall3
-    (Foreign.getSymbol (Foreign.loadLibrary (File.platform_path library_path)) "sha1_buffer",
+    (Foreign.getSymbol
+      (Foreign.loadLibraryIndirect (fn () => File.platform_path library_path)) "sha1_buffer",
       (Foreign.cByteArray, Foreign.cUlong, Foreign.cPointer), Foreign.cPointer);
 
 fun with_memory n =