diff src/ur/openidFfi.urs @ 7:976121190b2d

Authentication verification almost working: signatures not computing correctly
author Adam Chlipala <adam@chlipala.net>
date Tue, 28 Dec 2010 19:57:25 -0500
parents 99496175078b
children 870d99055dd1
line wrap: on
line diff
--- a/src/ur/openidFfi.urs	Mon Dec 27 13:18:02 2010 -0500
+++ b/src/ur/openidFfi.urs	Tue Dec 28 19:57:25 2010 -0500
@@ -15,4 +15,4 @@
 val direct : string -> inputs -> transaction outputs
 val indirect : queryString -> transaction outputs
 
-val sha256 : string -> string
+val sha256 : string -> string -> string