# HG changeset patch
# User boehmes
# Date 1269373568 -3600
# Node ID 32887cbfd62dbed447d9dea53887afd70013c8ed
# Parent  f135ebcc835c80ed35df34c4a343794ac842447e
use LONG rather than INT to represent the C datatype size_t

diff -r f135ebcc835c -r 32887cbfd62d src/Pure/General/sha1_polyml.ML
--- a/src/Pure/General/sha1_polyml.ML	Tue Mar 23 10:07:39 2010 -0700
+++ b/src/Pure/General/sha1_polyml.ML	Tue Mar 23 20:46:08 2010 +0100
@@ -24,7 +24,7 @@
     val digest = CInterface.alloc 20 CInterface.Cchar;
     val _ =
       CInterface.call3 (CInterface.get_sym (File.platform_path lib_path) "sha1_buffer")
-        (CInterface.STRING, CInterface.INT, CInterface.POINTER)
+        (CInterface.STRING, CInterface.LONG, CInterface.POINTER)
         CInterface.POINTER (str, size str, CInterface.address digest);
   in fold (suffix o hex_string digest) (0 upto 19) "" end;