changeset 43948 | 8f5add916a99 |
parent 41954 | fb94df4505a0 |
child 53211 | 753b9fbe18be |
--- a/src/Pure/General/sha1_polyml.ML Sat Jul 23 16:37:17 2011 +0200 +++ b/src/Pure/General/sha1_polyml.ML Sat Jul 23 17:22:28 2011 +0200 @@ -18,7 +18,7 @@ in (op ^) (pairself hex_digit (Integer.div_mod (Char.ord c) 16)) end val lib_path = - ("$ML_HOME/" ^ (if String.isSuffix "cygwin" ml_platform then "sha1.dll" else "libsha1.so")) + ("$ML_HOME/" ^ (if ML_System.platform_is_cygwin then "sha1.dll" else "libsha1.so")) |> Path.explode; fun digest_external str =