# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1309716543 14400
# Node ID f8c9e1e4d3375fd8f894e124e0947b6822dd24b3
# Parent  00c8f43be8b7e4cc7f3da3160ffe2947d9ddc584
Fix type error

diff -r 00c8f43be8b7 -r f8c9e1e4d337 src/ur/openid.ur
--- a/src/ur/openid.ur	Sat Jul 02 20:34:26 2011 +0100
+++ b/src/ur/openid.ur	Sun Jul 03 14:09:03 2011 -0400
@@ -323,7 +323,7 @@
                                         HMAC_SHA256 => OpenidFfi.hmac_sha256 key nvps
                                       | HMAC_SHA1 => OpenidFfi.hmac_sha1 key nvps
                     in
-                        if secCmp sign' sign then
+                        if OpenidFfi.secCmp sign' sign then
                             return None
                         else
                             return (Some "Signatures don't match")