diff src/ur/lib.urp @ 17:df2eb629f21a

Successfully created an account
author Adam Chlipala <adam@chlipala.net>
date Thu, 06 Jan 2011 14:42:37 -0500
parents 9851bc87b0d7
children f129ddee75f3
line wrap: on
line diff
--- a/src/ur/lib.urp	Thu Jan 06 12:48:13 2011 -0500
+++ b/src/ur/lib.urp	Thu Jan 06 14:42:37 2011 -0500
@@ -9,6 +9,7 @@
 effectful OpenidFfi.indirect
 effectful OpenidFfi.generate
 effectful OpenidFfi.compute
+library $META
 
 $/string
 $/option