Mercurial > openid
diff src/ur/openidUser.urs @ 44:f8c9e1e4d337
Fix type error
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 03 Jul 2011 14:09:03 -0400 |
parents | e31baf0f275e |
children | 3f475c6fb168 328a429dfedb |
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 03 Jul 2011 14:09:03 -0400 |
parents | e31baf0f275e |
children | 3f475c6fb168 328a429dfedb |