diff src/ur/openidUser.ur @ 64:81632203928f

Fix 'hidden' constraint
author Adam Chlipala <adam@chlipala.net>
date Wed, 11 Dec 2013 17:11:32 -0500
parents 089ad1d33e2f
children
line wrap: on
line diff
--- a/src/ur/openidUser.ur	Wed Nov 06 18:25:51 2013 -0500
+++ b/src/ur/openidUser.ur	Wed Dec 11 17:11:32 2013 -0500
@@ -67,7 +67,7 @@
     table user : ([Id = user] ++ M.cols)
       PRIMARY KEY Id
     con user_hidden_constraints = []
-    constraint [] ~ user_hidden_constraints
+    constraint [Pkey = [Id]] ~ user_hidden_constraints
 
     table identity : {User : user, Identifier : string}
       PRIMARY KEY (User, Identifier)