diff src/ur/openidFfi.urs @ 4:2d409aff8800

Received an OpenID authentication response, but haven't checked it yet
author Adam Chlipala <adam@chlipala.net>
date Sun, 26 Dec 2010 17:19:52 -0500
parents f59083771ee2
children 99496175078b
line wrap: on
line diff
--- a/src/ur/openidFfi.urs	Sun Dec 26 15:11:23 2010 -0500
+++ b/src/ur/openidFfi.urs	Sun Dec 26 17:19:52 2010 -0500
@@ -12,4 +12,5 @@
 type outputs
 val getOutput : outputs -> string -> option string
 
-val indirect : string -> inputs -> transaction outputs
+val direct : string -> inputs -> transaction outputs
+val indirect : queryString -> transaction outputs