diff src/ur/openid.ur @ 44:f8c9e1e4d337

Fix type error
author Adam Chlipala <adam@chlipala.net>
date Sun, 03 Jul 2011 14:09:03 -0400
parents 00c8f43be8b7
children
line wrap: on
line diff
--- 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")