diff src/ur/openidFfi.urs @ 27:f129ddee75f3

Some XRDS fixes; ignore query strings in naming endpoints for association purposes
author Adam Chlipala <adam@chlipala.net>
date Sun, 23 Jan 2011 17:40:42 -0500
parents de04a3fc6b72
children 00c8f43be8b7
line wrap: on
line diff
--- a/src/ur/openidFfi.urs	Sun Jan 23 14:57:49 2011 -0500
+++ b/src/ur/openidFfi.urs	Sun Jan 23 17:40:42 2011 -0500
@@ -11,6 +11,7 @@
 
 type outputs
 val getOutput : outputs -> string -> option string
+val printOutputs : outputs -> transaction {}
 
 val direct : string -> inputs -> transaction outputs
 val indirect : queryString -> transaction outputs