Mercurial > openid
diff tests/test.urs @ 64:81632203928f
Fix 'hidden' constraint
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Wed, 11 Dec 2013 17:11:32 -0500 |
parents | 3c209338e596 |
children |
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Wed, 11 Dec 2013 17:11:32 -0500 |
parents | 3c209338e596 |
children |