[Ur] OpenId compile error

[Chris Double]

Trying to use the OpenId library with the hg version of UrWeb (version
20130421 + 5f478ecf65e4+ tip) gives:

$ urweb test
openid/src/ur/openidUser.ur:36:0: (to 374:3) Unmatched signature item
Item:  con user_hidden_constraints :: {{Unit}}
openid/src/ur/openidUser.ur:36:0: (to 374:3) Unmatched signature item
Item:  constraint [] ~ UNBOUND_NAMED1161

Is there an update to the openid library or should I be using a
different UrWeb branch?

-- 
http://www.bluishcoder.co.nz