--- a/src/Pure/General/sha1_polyml.ML Tue Aug 18 15:37:50 2015 +0200
+++ b/src/Pure/General/sha1_polyml.ML Tue Aug 18 16:08:47 2015 +0200
@@ -32,7 +32,7 @@
val digest = CInterface.alloc 20 CInterface.Cchar;
val _ =
CInterface.call3
- (CInterface.get_sym (ml_platform_path (File.platform_path lib_path)) "sha1_buffer")
+ (CInterface.get_sym (File.platform_path lib_path) "sha1_buffer")
(STRING_INPUT_BYTES, CInterface.LONG, CInterface.POINTER)
CInterface.POINTER (str, size str, CInterface.address digest);
in fold (suffix o hex_string digest) (0 upto 19) "" end;