# HG changeset patch # User Adam Chlipala # Date 1298586585 18000 # Node ID 35d06874bec4133b6989abeaaf7f9e7d4a025f34 # Parent fcd3a977d77b22fff20e9726e283b41b9a59f545 Fix Utest to track latest change diff -r fcd3a977d77b -r 35d06874bec4 tests/utest.ur --- a/tests/utest.ur Thu Feb 24 17:29:05 2011 -0500 +++ b/tests/utest.ur Thu Feb 24 17:29:45 2011 -0500 @@ -24,7 +24,7 @@ n <- signal r.Nam; return {Nam = n} - fun choose _ r = return r + fun choose _ r = return (OpenidUser.Success r) val formClass = inputs