Mercurial > openid

diff src/ur/openidUser.ur @ 63:089ad1d33e2f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix to track a change in Ur/Web's 'table' signature item syntactic sugar
author Adam Chlipala <adam@chlipala.net>
date Wed, 06 Nov 2013 18:25:51 -0500
parents 77fa1fac2c7e
children 81632203928f
line wrap: on
line diff
--- a/src/ur/openidUser.ur	Sat Jul 21 10:16:20 2012 -0400
+++ b/src/ur/openidUser.ur	Wed Nov 06 18:25:51 2013 -0500
@@ -66,6 +66,8 @@
 
     table user : ([Id = user] ++ M.cols)
       PRIMARY KEY Id
+    con user_hidden_constraints = []
+    constraint [] ~ user_hidden_constraints
 
     table identity : {User : user, Identifier : string}
       PRIMARY KEY (User, Identifier)